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:
Veronique Cortier, Stephanie Delaune, Jannik Dreier
Veröffentlicht in:
Computer Security – ESORICS 2020, 2020
Herausgeber:
Springer
DOI:
10.1007/978-3-030-59013-0_1
Autoren:
Vincent Cheval, Steve Kremer, Itsaka Rakotonirina
Veröffentlicht in:
In Logic, Language, and Security. Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday, 2020
Herausgeber:
Springer
Autoren:
Gilles Barthe, Charlie Jacomme, Steve Kremer
Veröffentlicht in:
Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, 2020, Seite(n) 155-166, ISBN 9781450371049
Herausgeber:
ACM
DOI:
10.1145/3373718.3394746
Autoren:
Veronique Cortier, Antoine Dallon, Stephanie Delaune
Veröffentlicht in:
2017 IEEE 30th Computer Security Foundations Symposium (CSF), 2017, Seite(n) 481-494, ISBN 978-1-5386-3217-8
Herausgeber:
IEEE
DOI:
10.1109/CSF.2017.15
Autoren:
Babel , Kushal; Cheval , Vincent; Kremer , Steve
Veröffentlicht in:
6th International Conference on Principles of Security and Trust (POST), Apr 2017, Uppsala, Sweden, Ausgabe 3, 2017
Herausgeber:
Springer
DOI:
10.1007/978-3-662-54455-6_7
Autoren:
Michael Backes, Jannik Dreier, Steve Kremer, Robert Kunnemann
Veröffentlicht in:
2017 IEEE European Symposium on Security and Privacy (EuroS&P), 2017, Seite(n) 76-91, ISBN 978-1-5090-5762-7
Herausgeber:
IEEE
DOI:
10.1109/EuroSP.2017.12
Autoren:
Vincent Cheval, Steve Kremer, Itsaka Rakotonirina
Veröffentlicht in:
2018 IEEE Symposium on Security and Privacy (SP), 2018
Herausgeber:
IEEE
Autoren:
Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen
Veröffentlicht in:
26th International Conference on Automated Deduction (CADE'17), 2017, Seite(n) 60-76
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-63046-5_5
Autoren:
Veronique Cortier, Constantin Catalin Dragan, Francois Dupressoir, Benedikt Schmidt, Pierre-Yves Strub, Bogdan Warinschi
Veröffentlicht in:
2017 IEEE Symposium on Security and Privacy (SP), 2017, Seite(n) 993-1008, ISBN 978-1-5090-5533-3
Herausgeber:
IEEE
DOI:
10.1109/SP.2017.28
Autoren:
Stephanie Delaune, Steve Kremer, Ludovic Robin
Veröffentlicht in:
2017 IEEE 30th Computer Security Foundations Symposium (CSF), 2017, Seite(n) 130-143, ISBN 978-1-5386-3217-8
Herausgeber:
IEEE
DOI:
10.1109/CSF.2017.26
Autoren:
David Baelde, Stephanie Delaune, Ivan Gazeau, Steve Kremer
Veröffentlicht in:
2017 IEEE 30th Computer Security Foundations Symposium (CSF), 2017, Seite(n) 234-248, ISBN 978-1-5386-3217-8
Herausgeber:
IEEE
DOI:
10.1109/CSF.2017.22
Autoren:
Dreier , Jannik; Duménil , Charles; Kremer , Steve; Sasse , Ralf
Veröffentlicht in:
"POST 2017 - 6th International Conference on Principles of Security and Trust, Apr 2017, Uppsala, Sweden. Springer, Security and Cryptology, 10204, pp.117-140, Principles of Security and Trust. 〈http://www.etaps.org/2017/post〉", Ausgabe 3, 2017
Herausgeber:
Springer
DOI:
10.1007/978-3-662-54455-6_6
Autoren:
Gazeau , Ivan; Kremer , Steve
Veröffentlicht in:
22nd European Symposium on Research in Computer Security (ESORICS'17), 2017, Oslo, Norway. Springer, 2017, Ausgabe 14, 2017
Herausgeber:
Springer
Autoren:
Veronique Cortier, Alicia Filipiak, Jan Florent, Said Gharout, Jacques Traore
Veröffentlicht in:
2017 IEEE European Symposium on Security and Privacy (EuroS&P), 2017, Seite(n) 467-480, ISBN 978-1-5090-5762-7
Herausgeber:
IEEE
DOI:
10.1109/EuroSP.2017.19
Autoren:
Vincent Cheval, Veronique Cortier, Bogdan Warinschi
Veröffentlicht in:
2017 IEEE 30th Computer Security Foundations Symposium (CSF), 2017, Seite(n) 144-158, ISBN 978-1-5386-3217-8
Herausgeber:
IEEE
DOI:
10.1109/CSF.2017.28
Autoren:
Véronique Cortier, Niklas Grimm, Joseph Lallemand, Matteo Maffei
Veröffentlicht in:
Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security - CCS '17, 2017, Seite(n) 409-423, ISBN 9781-450349468
Herausgeber:
ACM Press
DOI:
10.1145/3133956.3133998
Autoren:
Vincent Cheval, Steve Kremer, Itsaka Rakotonirina
Veröffentlicht in:
30th International Conference on Computer Aided Verification, Part II (CAV'18), 2018, Seite(n) 28-36
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-96142-2_4
Autoren:
Véronique Cortier, Niklas Grimm, Joseph Lallemand, Matteo Maffei
Veröffentlicht in:
7th International Conference on Principles of Security and Trust (POST'18), 2018, Seite(n) 160-187
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-89722-6_7
Autoren:
Charlie Jacomme, Steve Kremer
Veröffentlicht in:
2018 IEEE 31st Computer Security Foundations Symposium (CSF), 2018, Seite(n) 1-15, ISBN 978-1-5386-6680-7
Herausgeber:
IEEE
DOI:
10.1109/CSF.2018.00008
Autoren:
Veronique Cortier, David Galindo, Mathieu Turuani
Veröffentlicht in:
2018 IEEE European Symposium on Security and Privacy (EuroS&P), 2018, Seite(n) 430-442, ISBN 978-1-5386-4228-3
Herausgeber:
IEEE
DOI:
10.1109/EuroSP.2018.00037
Autoren:
Jannik Dreier, Lucca Hirschi, Sasa Radomirovic, Ralf Sasse
Veröffentlicht in:
2018 IEEE 31st Computer Security Foundations Symposium (CSF), 2018, Seite(n) 359-373, ISBN 978-1-5386-6680-7
Herausgeber:
IEEE
DOI:
10.1109/CSF.2018.00033
Autoren:
Véronique Cortier, Antoine Dallon, Stéphanie Delaune
Veröffentlicht in:
Proceedings of the 23rd European Symposium on Research in Computer Security, Part I (ESORICS'18), 2018, Seite(n) 491-511
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-319-99073-6_24
Autoren:
Vincent Cheval, Veronique Cortier, Mathieu Turuani
Veröffentlicht in:
2018 IEEE 31st Computer Security Foundations Symposium (CSF), 2018, Seite(n) 344-358, ISBN 978-1-5386-6680-7
Herausgeber:
IEEE
DOI:
10.1109/CSF.2018.00032
Autoren:
Veronique Cortier, Constantin Catalin Dragan, Francois Dupressoir, Bogdan Warinschi
Veröffentlicht in:
2018 IEEE 31st Computer Security Foundations Symposium (CSF), 2018, Seite(n) 298-312, ISBN 978-1-5386-6680-7
Herausgeber:
IEEE
DOI:
10.1109/CSF.2018.00029
Autoren:
Steve Kremer, Peter B. Ronne
Veröffentlicht in:
2016 IEEE European Symposium on Security and Privacy (EuroS&P), Ausgabe annual, 2016, Seite(n) 473-486, ISBN 978-1-5090-1752-2
Herausgeber:
IEEE
DOI:
10.1109/EuroSP.2016.42
Autoren:
Cortier, Véronique; Galindo, David; Chaidos, Pyrros; Fuchsbauer, Georg
Veröffentlicht in:
23rd ACM Conference on Computer and Communications Security (CCS'16), Oct 2016, Vienna, Austria. 2016, <10.1145/2976749.2978337>, Ausgabe annual, 2016
Herausgeber:
ACM
DOI:
10.1145/2976749.2978337
Autoren:
Scerri, Guillaume; Kremer, Steve; Jacomme, Charlie
Veröffentlicht in:
2nd IEEE European Symposium on Security and Privacy (EuroSP'17), Apr 2017, Paris, France, Ausgabe annual, 2017
Herausgeber:
Springer
Autoren:
Kremer, Steve; Cortier, Véronique; Arapinis, Myrto
Veröffentlicht in:
Computer Security – ESORICS 2016 : 21st European Symposium on Research in Computer Security, Heraklion, Greece, September 26-30, 2016, Proceedings, Part II . Lecture Notes in Computer Science , vol. 9879 , Springer International Publishing , pp. 241-260 . DOI: 10.1007/978-3-319-45741-3_13, Ausgabe annual, 2016
Herausgeber:
Springer
DOI:
10.1007/978-3-319-45741-3_13
Autoren:
Voegtlin, Thomas; Turuani, Mathieu; Rusinowitch, Michael
Veröffentlicht in:
3rd Workshop on Bitcoin and Blockchain Research, Ausgabe annual, 2016
Herausgeber:
Springer
DOI:
10.1007/978-3-662-53357-4_3
Autoren:
Veronique Cortier, Alicia Filipiak, Joseph Lallemand
Veröffentlicht in:
2019 IEEE 32nd Computer Security Foundations Symposium (CSF), 2019, Seite(n) 367-36714, ISBN 978-1-7281-1407-1
Herausgeber:
IEEE
DOI:
10.1109/csf.2019.00032
Autoren:
Vincent Cheval, Steve Kremer, Itsaka Rakotonirina
Veröffentlicht in:
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019, Seite(n) 905-922, ISBN 9781-450367479
Herausgeber:
ACM
DOI:
10.1145/3319535.3354260
Autoren:
Gilles Barthe, Benjamin Gregoire, Charlie Jacomme, Steve Kremer, Pierre-Yves Strub
Veröffentlicht in:
2019 IEEE 32nd Computer Security Foundations Symposium (CSF), 2019, Seite(n) 136-13615, ISBN 978-1-7281-1407-1
Herausgeber:
IEEE
DOI:
10.1109/CSF.2019.00017
Autoren:
Véronique Cortier, Joseph Lallemand
Veröffentlicht in:
Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018, Seite(n) 53-66, ISBN 9781-450356930
Herausgeber:
ACM
DOI:
10.1145/3243734.3243762
Autoren:
Sergiu Bursuc, Constantin-Catalin Dragan, Steve Kremer
Veröffentlicht in:
2019 IEEE European Symposium on Security and Privacy (EuroS&P), 2019, Seite(n) 606-620, ISBN 978-1-7281-1148-3
Herausgeber:
IEEE
DOI:
10.1109/eurosp.2019.00050
Autoren:
David Basin, Jannik Dreier, Lucca Hirschi, Saša Radomirovic, Ralf Sasse, Vincent Stettler
Veröffentlicht in:
Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018, Seite(n) 1383-1396, ISBN 9781-450356930
Herausgeber:
ACM
DOI:
10.1145/3243734.3243846
Autoren:
Vincent Cheval, Steve Kremer, Itsaka Rakotonirina
Veröffentlicht in:
2018 IEEE Symposium on Security and Privacy (SP), 2018, Seite(n) 529-546, ISBN 978-1-5386-4353-2
Herausgeber:
IEEE
DOI:
10.1109/sp.2018.00033
Autoren:
Veronique Cortier, Joseph Lallemand, Bogdan Warinschi
Veröffentlicht in:
2020 IEEE 33rd Computer Security Foundations Symposium (CSF), 2020, Seite(n) 17-32, ISBN 978-1-7281-6572-1
Herausgeber:
IEEE
DOI:
10.1109/csf49147.2020.00010
Autoren:
Kushal Babel, Vincent Cheval, Steve Kremer
Veröffentlicht in:
Journal of Computer Security, Ausgabe 28/1, 2020, Seite(n) 71-127, ISSN 0926-227X
Herausgeber:
IOS Press
DOI:
10.3233/jcs-191366
Autoren:
Kremer, Steve; Ciobâcǎ, Ştefan; Chadha, Rohit; Cheval, Vincent
Veröffentlicht in:
ACM Transactions on Computational Logic (TOCL), Ausgabe Volume 17 Ausgabe 4, 2016, Seite(n) 1--32, ISSN 1529-3785
Herausgeber:
Association for Computing Machinary, Inc.
DOI:
10.1145/2926715
Autoren:
Steve Kremer, Robert Künnemann
Veröffentlicht in:
Journal of Computer Security, Ausgabe 24/5, 2016, Seite(n) 583-616, ISSN 0926-227X
Herausgeber:
IOS Press
DOI:
10.3233/JCS-160556
Autoren:
Rémy Chrétien, Véronique Cortier, Antoine Dallon, Stéphanie Delaune
Veröffentlicht in:
ACM Transactions on Computational Logic, Ausgabe 21/1, 2020, Seite(n) 1-52, ISSN 1529-3785
Herausgeber:
Association for Computing Machinary, Inc.
DOI:
10.1145/3343507
Autoren:
Ajay K. Eeralla, Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen
Veröffentlicht in:
Language and Automata Theory and Applications - 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings, Ausgabe 11417, 2019, Seite(n) 356-367, ISBN 978-3-030-13434-1
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-13435-8_26
Autoren:
Sergiu Bursuc, Steve Kremer
Veröffentlicht in:
Computer Security – ESORICS 2019 - 24th European Symposium on Research in Computer Security, Luxembourg, September 23–27, 2019, Proceedings, Part I, Ausgabe 11735, 2019, Seite(n) 361-382, ISBN 978-3-030-29958-3
Herausgeber:
Springer International Publishing
DOI:
10.1007/978-3-030-29959-0_18
Suche nach OpenAIRE-Daten ...
Bei der Suche nach OpenAIRE-Daten ist ein Fehler aufgetreten
Es liegen keine Ergebnisse vor