Skip to main content
Przejdź do strony domowej Komisji Europejskiej (odnośnik otworzy się w nowym oknie)
polski polski
CORDIS - Wyniki badań wspieranych przez UE
CORDIS

Logic-based Verification of Privacy-Preservation in Europe's 2020 ICT

CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.

Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .

Publikacje

Content Delivery over TLS: A Cryptographic Analysis of Keyless SSL

Autorzy: Karthikeyan Bhargavan, Ioana Boureanu, Pierre-Alain Fouque, Cristina Onete, Benjamin Richard
Opublikowane w: Proceedings of the 2nd IEEE European Symposium on Security and Privacy (Euro S&P 2017), 2017
Wydawca: IEEE

Verifying Security Properties in Unbounded Multiagent Systems

Autorzy: Ioana Boureanu, Panagiotis Kouvaros, Alessio Lomuscio
Opublikowane w: Proceedings of the 2016 International Conference on Autonomous Agents and Multiagent Systems, 2016, ISBN 978-1-4503-4239-1
Wydawca: The International Foundation for Autonomous Agents and Multiagent Systems

Breaking and Fixing the HB+DB protocol

Autorzy: I. Boureanu, D. Gerault, P. Lafourcade
Opublikowane w: Proceeding of the 10th ACM Conference on Security and Privacy in Wireless and Mobile Networks (WiSec 2017), 2017
Wydawca: ACM

A Novel Symbolic Approach to Verifying Epistemic Properties of Programs

Autorzy: Nikos Gorogiannis, Franco Raimondi, Ioane Boureanu
Opublikowane w: Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence (IJCAI 2017), 2017
Wydawca: IJCAI Organization

Security of Distance-Bounding: A Survey

Autorzy: G. Avoine, M. A. Bingoel, I. Boureanu, S. Capkun, G. Hancke, S. Kardas, C. Kim, C. Lauradoux, B. Martin, J. Munilla, A. Peinado-Dominguez, K. Bonne Rasmussen, D. Singelee, A. Tchamkerten, R. Trujillo-Rasua, S.Vaudenay,
Opublikowane w: ACM Computing Surveys, 2017, ISSN 0360-0300
Wydawca: Association for Computing Machinary, Inc.

Wyszukiwanie danych OpenAIRE...

Podczas wyszukiwania danych OpenAIRE wystąpił błąd

Brak wyników

Moja broszura 0 0