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

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By IEEE

9781538632178

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

External Reviewers

2017 IEEE 30th Computer Security Foundations Symposium (CSF) ◽

10.1109/csf.2017.43 ◽

2017 ◽

Download Full-text

Human Computing for Handling Strong Corruptions in Authenticated Key Exchange

2017 IEEE 30th Computer Security Foundations Symposium (CSF) ◽

10.1109/csf.2017.31 ◽

2017 ◽

Cited By ~ 2

Author(s):

Alexandra Boldyreva ◽

Shan Chen ◽

Pierre-Alain Dupont ◽

David Pointcheval

Keyword(s):

Key Exchange ◽

Authenticated Key Exchange ◽

Human Computing

Download Full-text

[Publisher's information]

2017 IEEE 30th Computer Security Foundations Symposium (CSF) ◽

10.1109/csf.2017.42 ◽

2017 ◽

Download Full-text

Synthesis of Adaptive Side-Channel Attacks

2017 IEEE 30th Computer Security Foundations Symposium (CSF) ◽

10.1109/csf.2017.8 ◽

2017 ◽

Cited By ~ 21

Author(s):

Quoc-Sang Phan ◽

Lucas Bang ◽

Corina S. Pasareanu ◽

Pasquale Malacaria ◽

Tevfik Bultan

Keyword(s):

Side Channel ◽

Side Channel Attacks

Download Full-text

Tight Bounds on Information Leakage from Repeated Independent Runs

2017 IEEE 30th Computer Security Foundations Symposium (CSF) ◽

10.1109/csf.2017.18 ◽

2017 ◽

Cited By ~ 6

Author(s):

David M. Smith ◽

Geoffrey Smith

Keyword(s):

Information Leakage

Download Full-text

Formal Verification of Protocols Based on Short Authenticated Strings

2017 IEEE 30th Computer Security Foundations Symposium (CSF) ◽

10.1109/csf.2017.26 ◽

2017 ◽

Cited By ~ 1

Author(s):

Stephanie Delaune ◽

Steve Kremer ◽

Ludovic Robin

Keyword(s):

Formal Verification

Download Full-text

[Copyright notice]

2017 IEEE 30th Computer Security Foundations Symposium (CSF) ◽

10.1109/csf.2017.3 ◽

2017 ◽

Keyword(s):

Download Full-text

The Web SSO Standard OpenID Connect: In-depth Formal Security Analysis and Security Guidelines

2017 IEEE 30th Computer Security Foundations Symposium (CSF) ◽

10.1109/csf.2017.20 ◽

2017 ◽

Cited By ~ 11

Author(s):

Daniel Fett ◽

Ralf Kusters ◽

Guido Schmitz

Keyword(s):

Security Analysis ◽

The Web

Download Full-text

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

2017 IEEE 30th Computer Security Foundations Symposium (CSF) ◽

10.1109/csf.2017.10 ◽

2017 ◽

Cited By ~ 12

Author(s):

Martin Abadi ◽

Ulfar Erlingsson ◽

Ian Goodfellow ◽

H. Brendan McMahan ◽

Ilya Mironov ◽

...

Keyword(s):

Machine Learning ◽

Private Information ◽

Learning Systems

Download Full-text

Rényi Differential Privacy

2017 IEEE 30th Computer Security Foundations Symposium (CSF) ◽

10.1109/csf.2017.11 ◽

2017 ◽

Cited By ~ 28

Author(s):

Ilya Mironov

Keyword(s):

Differential Privacy

Download Full-text

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

TOTAL DOCUMENTS

H-INDEX

Published By IEEE

External Reviewers

Human Computing for Handling Strong Corruptions in Authenticated Key Exchange

[Publisher's information]

Synthesis of Adaptive Side-Channel Attacks

Tight Bounds on Information Leakage from Repeated Independent Runs

Formal Verification of Protocols Based on Short Authenticated Strings

[Copyright notice]

The Web SSO Standard OpenID Connect: In-depth Formal Security Analysis and Security Guidelines

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

Rényi Differential Privacy

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