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

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

A Coq proof of the correctness of X25519 in TweetNaCl

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

scholarly journals Dynamic IFC Theorems for Free!

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

scholarly journals CapablePtrs: Securely Compiling Partial Programs Using the Pointers-as-Capabilities Principle

2021 ◽  
Author(s):  
Akram El-Korashy ◽  
Stelios Tsampas ◽  
Marco Patrignani ◽  
Dominique Devriese ◽  
Deepak Garg ◽  
...  
Load More ...
Sign in / Sign up

Export Citation Format

Share Document