default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID31st CSF 2018: Oxford, UK
- 31st IEEE Computer Security Foundations Symposium, CSF 2018, Oxford, United Kingdom, July 9-12, 2018. IEEE Computer Society 2018, ISBN 978-1-5386-6680-7
Session: Security Protocols 1
- Charlie Jacomme
, Steve Kremer:
An Extensive Formal Analysis of Multi-factor Authentication Protocols. 1-15 - Bruno Blanchet:
Composition Theorems for CryptoVerif and Application to TLS 1.3. 16-30 - Patrick Eugster, Giorgia Azzurra Marson, Bertram Poettering:
A Cryptographic Look at Multi-party Channels. 31-45 - Ilia Lebedev, Kyle Hogan, Srinivas Devadas:
Invited Paper: Secure Boot and Remote Attestation in the Sanctum Processor. 46-60 - Maxime Audinot, Sophie Pinchinat, Barbara Kordy:
Guided Design of Attack Trees: A System-Based Approach. 61-75
Session: Cryptographic Primitives
- Marc Fischlin, Sogol Mazaheri:
Self-Guarding Cryptographic Protocols against Algorithm Substitution Attacks. 76-90 - Cécile Baritel-Ruet, François Dupressoir, Pierre-Alain Fouque, Benjamin Grégoire:
Formal Security Proof of CMAC and Its Variants. 91-104 - Marc Fischlin, Christian Janson, Sogol Mazaheri:
Backdoored Hash Functions: Immunizing HMAC and HKDF. 105-118
Session: Secure Computation
- Helene Haagh, Aleksandr Karbyshev, Sabine Oechsner, Bas Spitters, Pierre-Yves Strub:
Computer-Aided Proofs for Multiparty Computation with Active Security. 119-131 - José Bacelar Almeida, Manuel Barbosa, Gilles Barthe, Hugo Pacheco, Vitor Pereira, Bernardo Portela:
Enforcing Ideal-World Leakage Bounds in Real-World Secret Sharing MPC Frameworks. 132-146 - Baiyu Li, Daniele Micciancio:
Symbolic Security of Garbled Circuits. 147-161
Session: Knowledge and Hyperproperties
- Borzoo Bonakdarpour, Bernd Finkbeiner:
The Complexity of Monitoring Hyperproperties. 162-174 - McKenna McCall, Hengrun Zhang, Limin Jia:
Knowledge-Based Security of Dynamic Secrets for Reactive Programs. 175-188 - Andrey Chudnov, David A. Naumann:
Assuming You Know: Epistemic Semantics of Relational Annotations for Expressive Flow Policies. 189-203 - Everett Hildenbrandt, Manasvi Saxena, Nishant Rodrigues, Xiaoran Zhu, Philip Daian, Dwight Guth, Brandon M. Moore, Daejun Park, Yi Zhang, Andrei Stefanescu, Grigore Rosu:
KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine. 204-217
Session: Information Flow
- Hongxu Chen, Alwen Tiu, Zhiwu Xu, Yang Liu:
A Permission-Dependent Type System for Secure Information Flow Analysis. 218-232 - Vineet Rajani, Deepak Garg:
Types for Information Flow Control: Labeling Granularity and Semantic Models. 233-246 - Christian Müller, Helmut Seidl, Eugen Zalinescu:
Inductive Invariants for Noninterference in Multi-agent Workflows. 247-261 - Mário S. Alvim, Konstantinos Chatzikokolakis, Catuscia Palamidessi, Anna Pazii:
Invited Paper: Local Differential Privacy on Metric Spaces: Optimizing the Trade-Off with Utility. 262-267 - Samuel Yeom, Irene Giacomelli, Matt Fredrikson, Somesh Jha:
Privacy Risk in Machine Learning: Analyzing the Connection to Overfitting. 268-282
Session: Electronic Voting
- David A. Basin, Sasa Radomirovic, Lara Schmid:
Alethea: A Provably Secure Random Sample Voting Protocol. 283-297 - Véronique Cortier, Constantin Catalin Dragan, François Dupressoir, Bogdan Warinschi:
Machine-Checked Proofs for Electronic Voting: Privacy and Verifiability for Belenios. 298-312
Session: Side Channels
- Pasquale Malacaria, M. H. R. Khouzani, Corina S. Pasareanu, Quoc-Sang Phan, Kasper Søe Luckow:
Symbolic Side-Channel Analysis for Probabilistic Programs. 313-327 - Gilles Barthe, Benjamin Grégoire, Vincent Laporte:
Secure Compilation of Side-Channel Countermeasures: The Case of Cryptographic "Constant-Time". 328-343
Session: Security Protocols 2
- Vincent Cheval, Véronique Cortier, Mathieu Turuani:
A Little More Conversation, a Little Less Action, a Lot More Satisfaction: Global States in ProVerif. 344-358 - Jannik Dreier, Lucca Hirschi, Sasa Radomirovic, Ralf Sasse:
Automated Unbounded Verification of Stateful Cryptographic Protocols with Exclusive OR. 359-373 - Andreas V. Hess, Sebastian Mödersheim:
A Typing Result for Stateful Protocols. 374-388
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-04-23 22:37 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
