CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.
Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.
Veröffentlichungen
Autoren:
Nadim Kobeissi, Georgio Nicolas, Karthikeyan Bhargavan
Veröffentlicht in:
2019 IEEE European Symposium on Security and Privacy (EuroS&P), 2019, Seite(n) 356-370, ISBN 978-1-7281-1148-3
Herausgeber:
IEEE
DOI:
10.1109/eurosp.2019.00034
Autoren:
Karthikeyan Bhargavan, Prasad Naldurg
Veröffentlicht in:
39th {IARCS} Annual Conference on Foundations of Software Technology and Theoretical Computer Science, {FSTTCS} 2019, December 11-13, 2019, Bombay, India, 2019, Seite(n) 1:1--1:12, ISBN 978-3-95977-131-3
Herausgeber:
Schloss Dagstuhl - Leibniz-Zentrum fur Informatik
DOI:
10.4230/lipics.fsttcs.2019.1
Autoren:
M. Barbosa and G. Barthe and K. Bhargavan and B. Blanchet and C. Cremers and K. Liao and B. Parno
Veröffentlicht in:
2021 IEEE Symposium on Security and Privacy (SP), 2021, Seite(n) 777-795
Herausgeber:
IEEE Computer Society
DOI:
10.1109/sp40001.2021.00008
Autoren:
Bhargavan, Karthikeyan and Bichhawat, Abhishek and Do, Quoc Huy and Hosseyni, Pedram and Kuesters, Ralf and Schmitz, Guido and Wuertele, Tim
Veröffentlicht in:
EuroS&P 2021 - 6th IEEE European Symposium on Security and Privacy, 2021
Herausgeber:
IEEE
Autoren:
Denis Merigoux, Raphaël Monat, Jonathan Protzenko
Veröffentlicht in:
Proceedings of the 30th ACM SIGPLAN International Conference on Compiler Construction, 2021, Seite(n) 71-82, ISBN 9781450383257
Herausgeber:
ACM
DOI:
10.1145/3446804.3446850
Autoren:
Jonathan Protzenko, Bryan Parno, Aymeric Fromherz, Chris Hawblitzel, Marina Polubelova, Karthikeyan Bhargavan, Benjamin Beurdouche, Joonwon Choi, Antoine Delignat-Lavaud, Cedric Fournet, Natalia Kulatova, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy, Christoph M. Wintersteiger, Santiago Zanella-Beguelin
Veröffentlicht in:
2020 IEEE Symposium on Security and Privacy (SP), 2020, Seite(n) 983-1002, ISBN 978-1-7281-3497-0
Herausgeber:
IEEE
DOI:
10.1109/sp40000.2020.00114
Autoren:
Benjamin Lipp, Bruno Blanchet, Karthikeyan Bhargavan
Veröffentlicht in:
2019 IEEE European Symposium on Security and Privacy (EuroS&P), 2019, Seite(n) 231-246, ISBN 978-1-7281-1148-3
Herausgeber:
IEEE
DOI:
10.1109/eurosp.2019.00026
Autoren:
Karthikeyan Bhargavan, Ioana Boureanu, Pierre-Alain Fouque, Cristina Onete, Benjamin Richard
Veröffentlicht in:
2017 IEEE European Symposium on Security and Privacy (EuroS&P), Ausgabe April, 2017, 2017, Seite(n) 1-16, ISBN 978-1-5090-5762-7
Herausgeber:
IEEE
DOI:
10.1109/EuroSP.2017.52
Autoren:
Karthikeyan Bhargavan, Barry Bond, Antoine Delignat-Lavaud, Cedric Fournet, Chris Hawblitzel, Catalin Hritcu, Samin Ishtiaq, Markulf Kohlweiss, Rustan Leino, Jay Lorch, Kenji Maillard, Jianyang Pan, Bryan Parno, Jonathan Protzenko, Tahina Ramananandro, Ashay Rane, Aseem Rastogi, Nikhil Swamy, Laure Thompson, Peng Wang, Santiago Zanella-Beguelin, Jean-Karim Zinzindohoue
Veröffentlicht in:
2nd Summit on Advances in Programming Languages (SNAPL 2017), Ausgabe 2017, 2017, Seite(n) 1:1--1:12, ISBN 978-3-95977-032-3
Herausgeber:
Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI:
10.4230/LIPIcs.SNAPL.2017.1
Autoren:
Antoine Delignat-Lavaud, Cedric Fournet, Markulf Kohlweiss, Jonathan Protzenko, Aseem Rastogi, Nikhil Swamy, Santiago Zanella-Beguelin, Karthikeyan Bhargavan, Jianyang Pan, Jean Karim Zinzindohoue
Veröffentlicht in:
2017 IEEE Symposium on Security and Privacy (SP), Ausgabe May 2017, 2017, Seite(n) 463-482, ISBN 978-1-5090-5533-3
Herausgeber:
IEEE
DOI:
10.1109/SP.2017.58
Autoren:
Jean-Karim Zinzindohoué, Karthikeyan Bhargavan, Jonathan Protzenko, Benjamin Beurdouche
Veröffentlicht in:
Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security - CCS '17, Ausgabe November 2017, 2017, Seite(n) 1789-1806, ISBN 9781-450349468
Herausgeber:
ACM Press
DOI:
10.1145/3133956.3134043
Autoren:
Karthikeyan Bhargavan, Bruno Blanchet, Nadim Kobeissi
Veröffentlicht in:
2017 IEEE Symposium on Security and Privacy (SP), Ausgabe May 2017, 2017, Seite(n) 483-502, ISBN 978-1-5090-5533-3
Herausgeber:
IEEE
DOI:
10.1109/SP.2017.26
Autoren:
Karthikeyan Bhargavan, Gaëtan Leurent
Veröffentlicht in:
Proceedings of the 2016 ACM SIGSAC Conference on Computer and Communications Security - CCS'16, Ausgabe November 2016, 2016, Seite(n) 456-467, ISBN 9781-450341394
Herausgeber:
ACM Press
DOI:
10.1145/2976749.2978423
Autoren:
Nadim Kobeissi, Karthikeyan Bhargavan, Bruno Blanchet
Veröffentlicht in:
2017 IEEE European Symposium on Security and Privacy (EuroS&P), 2017, Seite(n) 435-450, ISBN 978-1-5090-5762-7
Herausgeber:
IEEE
DOI:
10.1109/EuroSP.2017.38
Autoren:
Jean Karim Zinzindohoue, Evmorfia-Iro Bartzia, Karthikeyan Bhargavan
Veröffentlicht in:
2016 IEEE 29th Computer Security Foundations Symposium (CSF), 2016, Seite(n) 296-309, ISBN 978-1-5090-2607-4
Herausgeber:
IEEE
DOI:
10.1109/CSF.2016.28
Autoren:
Karthikeyan Bhargavan, Christina Brzuska, Cedric Fournet, Matthew Green, Markulf Kohlweiss, Santiago Zanella-Beguelin
Veröffentlicht in:
2016 IEEE Symposium on Security and Privacy (SP), 2016, Seite(n) 506-525, ISBN 978-1-5090-0824-7
Herausgeber:
IEEE
DOI:
10.1109/SP.2016.37
Autoren:
Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Nadim Kobeissi
Veröffentlicht in:
Financial Cryptography and Data Security, 2017, Seite(n) 561-578
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-70972-7_32
Autoren:
Karthikeyan Bhargavan, Franziskus Kiefer, Pierre-Yves Strub
Veröffentlicht in:
Security Standardisation Research, 2018, Seite(n) 1-20, ISBN 978-3-030-04761-0
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-04762-7_1
Autoren:
Karthikeyan Bhargavan, Ioana Boureanu, Antoine Delignat-Lavaud, Pierre-Alain Fouque, Cristina Onete
Veröffentlicht in:
2018 IEEE Symposium on Security and Privacy (SP), 2018, Seite(n) 799-816, ISBN 978-1-5386-4353-2
Herausgeber:
IEEE
DOI:
10.1109/SP.2018.00021
Autoren:
Marina Polubelova, Karthikeyan Bhargavan, Jonathan Protzenko, Benjamin Beurdouche, Aymeric Fromherz, Natalia Kulatova, Santiago Zanella-Béguelin
Veröffentlicht in:
Proceedings of the 2020 ACM SIGSAC Conference on Computer and Communications Security, 2020, Seite(n) 899-918, ISBN 9781450370899
Herausgeber:
ACM
DOI:
10.1145/3372297.3423352
Autoren:
Jonathan Protzenko, Benjamin Beurdouche, Denis Merigoux, Karthikeyan Bhargavan
Veröffentlicht in:
2019 IEEE Symposium on Security and Privacy (SP), 2019, Seite(n) 1256-1274, ISBN 978-1-5386-6660-9
Herausgeber:
IEEE
DOI:
10.1109/sp.2019.00064
Autoren:
Joël Alwen, Bruno Blanchet, Eduard Hauck, Eike Kiltz, Benjamin Lipp, Doreen Riepel
Veröffentlicht in:
Advances in Cryptology – EUROCRYPT 2021 - 40th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Zagreb, Croatia, October 17–21, 2021, Proceedings, Part I, Ausgabe 12696, 2021, Seite(n) 87-116, ISBN 978-3-030-77869-9
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-77870-5_4
Autoren:
Lipp, Benjamin; Blanchet, Bruno; Bhargavan, Karthikeyan
Veröffentlicht in:
[Research Report] RR-9269, Inria Paris. 2019, pp.49, Ausgabe 1, 2019
Herausgeber:
Inria
Autoren:
Benjamin Beurdouche
Veröffentlicht in:
2020
Herausgeber:
Université Paris Science et Lettres
Autoren:
Jean-Karim Zinzindohoué
Veröffentlicht in:
2018
Herausgeber:
PSL Research University
Autoren:
Nadim Kobeissi
Veröffentlicht in:
2018
Herausgeber:
École Normale Supérieure
Autoren:
Jonathan Protzenko, Cédric Fournet, Nikhil Swamy, Jean-Karim Zinzindohoué, Aseem Rastogi, Tahina Ramananandro, Peng Wang, Santiago Zanella-Béguelin, Antoine Delignat-Lavaud, Cătălin Hriţcu, Karthikeyan Bhargavan
Veröffentlicht in:
Proceedings of the ACM on Programming Languages, Ausgabe 1/ICFP, 2017, Seite(n) 1-29, ISSN 2475-1421
Herausgeber:
ACM
DOI:
10.1145/3110261
Autoren:
Benjamin Beurdouche, Karthikeyan Bhargavan, Antoine Delignat-Lavaud, Cédric Fournet, Markulf Kohlweiss, Alfredo Pironti, Pierre-Yves Strub, Jean Karim Zinzindohoue
Veröffentlicht in:
Communications of the ACM, Ausgabe 60/2, 2017, Seite(n) 99-107, ISSN 0001-0782
Herausgeber:
Association for Computing Machinary, Inc.
DOI:
10.1145/3023357
Autoren:
Karthikeyan Bhargavan, Cedric Fournet, Markulf Kohlweiss
Veröffentlicht in:
IEEE Security & Privacy, Ausgabe 14/6, 2016, Seite(n) 18-25, ISSN 1540-7993
Herausgeber:
IEEE Computer Society
DOI:
10.1109/MSP.2016.123
Autoren:
Nikhil Swamy, Aseem Rastogi, Aymeric Fromherz, Denis Merigoux, Danel Ahman, Guido Martínez
Veröffentlicht in:
Proceedings of the ACM on Programming Languages, Ausgabe 4/ICFP, 2020, Seite(n) 1-30, ISSN 2475-1421
Herausgeber:
ACM
DOI:
10.1145/3409003
Autoren:
David Adrian, Karthikeyan Bhargavan, Zakir Durumeric, Pierrick Gaudry, Matthew Green, J. Alex Halderman, Nadia Heninger, Drew Springall, Emmanuel Thomé, Luke Valenta, Benjamin VanderSloot, Eric Wustrow, Santiago Zanella-Béguelin, Paul Zimmermann
Veröffentlicht in:
Communications of the ACM, Ausgabe 62/1, 2018, Seite(n) 106-114, ISSN 0001-0782
Herausgeber:
Association for Computing Machinary, Inc.
DOI:
10.1145/3292035
Autoren:
Karthikeyan Bhargavan, Benjamin Beurdouche, Prasad Naldurg
Veröffentlicht in:
2019
Herausgeber:
INRIA
Suche nach OpenAIRE-Daten ...
Bei der Suche nach OpenAIRE-Daten ist ein Fehler aufgetreten
Es liegen keine Ergebnisse vor