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

scholarly journals The Complexity of Monitoring Hyperproperties

2018 ◽  
Author(s):  
Borzoo Bonakdarpour ◽  
Bernd Finkbeiner

KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine

2018 ◽  
Author(s):  
Everett Hildenbrandt ◽  
Manasvi Saxena ◽  
Nishant Rodrigues ◽  
Xiaoran Zhu ◽  
Philip Daian ◽  
...  
Keyword(s):  
Virtual Machine ◽  
Formal Semantics

Guided Design of Attack Trees: A System-Based Approach

2018 ◽  
Author(s):  
Maxime Audinot ◽  
Sophie Pinchinat ◽  
Barbara Kordy
Keyword(s):  
Attack Trees

scholarly journals Formal Security Proof of CMAC and Its Variants

2018 ◽  
Author(s):  
Cecile Baritel-Ruet ◽  
Francois Dupressoir ◽  
Pierre-Alain Fouque ◽  
Benjamin Gregoire
Keyword(s):  
Security Proof

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

2018 ◽  
Author(s):  
Mario Alvim ◽  
Konstantinos Chatzikokolakis ◽  
Catuscia Palamidessi ◽  
Anna Pazii
Keyword(s):  
Metric Spaces ◽  
Differential Privacy ◽  
Trade Off

scholarly journals Symbolic Side-Channel Analysis for Probabilistic Programs

2018 ◽  
Author(s):  
Pasquale Malacaria ◽  
MHR Khouzani ◽  
Corina S. Pasareanu ◽  
Quoc-Sang Phan ◽  
Kasper Luckow
Keyword(s):  
Side Channel ◽  
Side Channel Analysis ◽  
Channel Analysis ◽  
Probabilistic Programs

scholarly journals Automated Unbounded Verification of Stateful Cryptographic Protocols with Exclusive OR

2018 ◽  
Author(s):  
Jannik Dreier ◽  
Lucca Hirschi ◽  
Sasa Radomirovic ◽  
Ralf Sasse
Keyword(s):  
Cryptographic Protocols ◽  
Exclusive Or

scholarly journals A Little More Conversation, a Little Less Action, a Lot More Satisfaction: Global States in ProVerif

2018 ◽  
Author(s):  
Vincent Cheval ◽  
Veronique Cortier ◽  
Mathieu Turuani
Keyword(s):  
Global States
Load More ...
Sign in / Sign up

Export Citation Format

Share Document