2018 IEEE 31st Computer Security Foundations Symposium (CSF)
Latest Publications

TOTAL DOCUMENTS

36

(FIVE YEARS 0)

H-INDEX

8

(FIVE YEARS 0)

Published By IEEE

9781538666807

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine

2018 IEEE 31st Computer Security Foundations Symposium (CSF) ◽

10.1109/csf.2018.00022 ◽

2018 ◽

Author(s):

Everett Hildenbrandt ◽

Manasvi Saxena ◽

Nishant Rodrigues ◽

Xiaoran Zhu ◽

Philip Daian ◽

...

Keyword(s):

Virtual Machine ◽

Formal Semantics

Download Full-text

The Complexity of Monitoring Hyperproperties

2018 IEEE 31st Computer Security Foundations Symposium (CSF) ◽

10.1109/csf.2018.00019 ◽

2018 ◽

Author(s):

Borzoo Bonakdarpour ◽

Bernd Finkbeiner

Download Full-text

Committees

2018 IEEE 31st Computer Security Foundations Symposium (CSF) ◽

10.1109/csf.2018.00006 ◽

2018 ◽

Download Full-text

Formal Security Proof of CMAC and Its Variants

2018 IEEE 31st Computer Security Foundations Symposium (CSF) ◽

10.1109/csf.2018.00014 ◽

2018 ◽

Author(s):

Cecile Baritel-Ruet ◽

Francois Dupressoir ◽

Pierre-Alain Fouque ◽

Benjamin Gregoire

Keyword(s):

Download Full-text

Guided Design of Attack Trees: A System-Based Approach

2018 IEEE 31st Computer Security Foundations Symposium (CSF) ◽

10.1109/csf.2018.00012 ◽

2018 ◽

Author(s):

Maxime Audinot ◽

Sophie Pinchinat ◽

Barbara Kordy

Keyword(s):

Download Full-text

Invited Paper: Local Differential Privacy on Metric Spaces: Optimizing the Trade-Off with Utility

2018 IEEE 31st Computer Security Foundations Symposium (CSF) ◽

10.1109/csf.2018.00026 ◽

2018 ◽

Author(s):

Mario Alvim ◽

Konstantinos Chatzikokolakis ◽

Catuscia Palamidessi ◽

Anna Pazii

Keyword(s):

Metric Spaces ◽

Differential Privacy ◽

Download Full-text

Assuming You Know: Epistemic Semantics of Relational Annotations for Expressive Flow Policies

2018 IEEE 31st Computer Security Foundations Symposium (CSF) ◽

10.1109/csf.2018.00021 ◽

2018 ◽

Author(s):

Andrey Chudnov ◽

David A. Naumann

Download Full-text

Types for Information Flow Control: Labeling Granularity and Semantic Models

2018 IEEE 31st Computer Security Foundations Symposium (CSF) ◽

10.1109/csf.2018.00024 ◽

2018 ◽

Author(s):

Vineet Rajani ◽

Deepak Garg

Keyword(s):

Flow Control ◽

Information Flow ◽

Information Flow Control ◽

Semantic Models

Download Full-text

Machine-Checked Proofs for Electronic Voting: Privacy and Verifiability for Belenios

2018 IEEE 31st Computer Security Foundations Symposium (CSF) ◽

10.1109/csf.2018.00029 ◽

2018 ◽

Author(s):

Veronique Cortier ◽

Constantin Catalin Dragan ◽

Francois Dupressoir ◽

Bogdan Warinschi

Keyword(s):

Electronic Voting

Download Full-text

Secure Compilation of Side-Channel Countermeasures: The Case of Cryptographic “Constant-Time”

2018 IEEE 31st Computer Security Foundations Symposium (CSF) ◽

10.1109/csf.2018.00031 ◽

2018 ◽

Author(s):

Gilles Barthe ◽

Benjamin Gregoire ◽

Vincent Laporte

Keyword(s):

Constant Time ◽

Download Full-text