![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
31st 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
![](https://dblp.org/img/cog.dark.24x24.png)
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.