2017 IEEE 30th Computer Security Foundations Symposium (CSF)
Latest Publications

TOTAL DOCUMENTS

43
(FIVE YEARS 0)

H-INDEX

9
(FIVE YEARS 0)

Published By IEEE

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

scholarly journals Human Computing for Handling Strong Corruptions in Authenticated Key Exchange

2017 ◽  
Author(s):  
Alexandra Boldyreva ◽  
Shan Chen ◽  
Pierre-Alain Dupont ◽  
David Pointcheval
Keyword(s):  
Key Exchange ◽  
Authenticated Key Exchange ◽  
Human Computing

scholarly journals Synthesis of Adaptive Side-Channel Attacks

2017 ◽  
Author(s):  
Quoc-Sang Phan ◽  
Lucas Bang ◽  
Corina S. Pasareanu ◽  
Pasquale Malacaria ◽  
Tevfik Bultan
Keyword(s):  
Side Channel ◽  
Side Channel Attacks

scholarly journals Formal Verification of Protocols Based on Short Authenticated Strings

2017 ◽  
Author(s):  
Stephanie Delaune ◽  
Steve Kremer ◽  
Ludovic Robin
Keyword(s):  
Formal Verification

scholarly journals On the Protection of Private Information in Machine Learning Systems: Two Recent Approches

2017 ◽  
Author(s):  
Martin Abadi ◽  
Ulfar Erlingsson ◽  
Ian Goodfellow ◽  
H. Brendan McMahan ◽  
Ilya Mironov ◽  
...  
Keyword(s):  
Machine Learning ◽  
Private Information ◽  
Learning Systems
Load More ...
Sign in / Sign up

Export Citation Format

Share Document