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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9781538666807

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

The Complexity of Monitoring Hyperproperties

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

10.1109/csf.2018.00019 ◽

2018 ◽

Cited By ~ 11

Author(s):

Borzoo Bonakdarpour ◽

Bernd Finkbeiner

Download Full-text

KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine

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

10.1109/csf.2018.00022 ◽

2018 ◽

Cited By ~ 83

Author(s):

Everett Hildenbrandt ◽

Manasvi Saxena ◽

Nishant Rodrigues ◽

Xiaoran Zhu ◽

Philip Daian ◽

...

Keyword(s):

Virtual Machine ◽

Formal Semantics

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 ◽

Cited By ~ 7

Author(s):

Maxime Audinot ◽

Sophie Pinchinat ◽

Barbara Kordy

Keyword(s):

Attack Trees

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 ◽

Cited By ~ 1

Author(s):

Cecile Baritel-Ruet ◽

Francois Dupressoir ◽

Pierre-Alain Fouque ◽

Benjamin Gregoire

Keyword(s):

Security Proof

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 ◽

Cited By ~ 8

Author(s):

Mario Alvim ◽

Konstantinos Chatzikokolakis ◽

Catuscia Palamidessi ◽

Anna Pazii

Keyword(s):

Metric Spaces ◽

Differential Privacy ◽

Trade Off

Download Full-text

[Title page iii]

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

10.1109/csf.2018.00002 ◽

2018 ◽

Keyword(s):

Title Page

Download Full-text

Symbolic Side-Channel Analysis for Probabilistic Programs

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

10.1109/csf.2018.00030 ◽

2018 ◽

Cited By ~ 10

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

Download Full-text

Automated Unbounded Verification of Stateful Cryptographic Protocols with Exclusive OR

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

10.1109/csf.2018.00033 ◽

2018 ◽

Cited By ~ 12

Author(s):

Jannik Dreier ◽

Lucca Hirschi ◽

Sasa Radomirovic ◽

Ralf Sasse

Keyword(s):

Cryptographic Protocols ◽

Exclusive Or

Download Full-text

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

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

10.1109/csf.2018.00032 ◽

2018 ◽

Cited By ~ 3

Author(s):

Vincent Cheval ◽

Veronique Cortier ◽

Mathieu Turuani

Keyword(s):

Global States

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

The Complexity of Monitoring Hyperproperties

KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine

Guided Design of Attack Trees: A System-Based Approach

Committees

Formal Security Proof of CMAC and Its Variants

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

[Title page iii]

Symbolic Side-Channel Analysis for Probabilistic Programs

Automated Unbounded Verification of Stateful Cryptographic Protocols with Exclusive OR

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

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