2021 IEEE 34th Computer Security Foundations Symposium (CSF)
Latest Publications

TOTAL DOCUMENTS

43
(FIVE YEARS 43)

H-INDEX

0
(FIVE YEARS 0)

Published By IEEE

9781728176079
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A Coq proof of the correctness of X25519 in TweetNaCl

2021 ◽  
Author(s):  
Peter Schwabe ◽  
Benoit Viguier ◽  
Timmy Weerwag ◽  
Freek Wiedijk

Accountability in the Decentralised-Adversary Setting

2021 ◽  
Author(s):  
Robert Kunnemann ◽  
Deepak Garg ◽  
Michael Backes

scholarly journals Dynamic IFC Theorems for Free!

2021 ◽  
Author(s):  
Maximilian Algehed ◽  
Jean-Philippe Bernardy ◽  
Catalin Hritcu

scholarly journals Towards Language-Based Mitigation of Traffic Analysis Attacks

2021 ◽  
Author(s):  
Jeppe Fredsgaard Blaabjerg ◽  
Aslan Askarov
Keyword(s):  
Traffic Analysis

Heuristic Approach for Countermeasure Selection Using Attack Graphs

2021 ◽  
Author(s):  
Orly Stan ◽  
Ron Bitton ◽  
Michal Ezrets ◽  
Moran Dadon ◽  
Masaki Inokuchi ◽  
...  
Keyword(s):  
Heuristic Approach ◽  
Attack Graphs

On Compositional Information Flow Aware Refinement

2021 ◽  
Author(s):  
Christoph Baumann ◽  
Mads Dam ◽  
Roberto Guanciale ◽  
Hamed Nemati
Keyword(s):  
Information Flow ◽  
Compositional Information

Verifying Hyperproperties With TLA

2021 ◽  
Author(s):  
Leslie Lamport ◽  
Fred B. Schneider

Mechanised Models and Proofs for Distance-Bounding

2021 ◽  
Author(s):  
Ioana Boureanu ◽  
Constantin Catalin Dragan ◽  
Francois Dupressoir ◽  
David Gerault ◽  
Pascal Lafourcade

Automating Audit with Policy Inference

2021 ◽  
Author(s):  
Abhishek Bichhawat ◽  
Matt Fredrikson ◽  
Jean Yang
Load More ...
Sign in / Sign up

Export Citation Format

Share Document