Differential Privacy: From the Central Model to the Local Model and their Generalization

Listen to audio

Documents and media

Download support

pdf (8.31 MB)

Speaker(s)

Catuscia Palamidessi

Events

Differential Privacy: From the Central Model to the Local Model and their Generalization

Tempus fugit : time observation attacks

Seminar

31 Mar 2022

11:15 - 12:15

Karthikeyan Bhargavan

Verified Implementations for Real-World Cryptographic Protocols

Typing and safety

Fault injection attacks and software protection

Compilation and safety

Software obfuscation : scrambling code to protect programs

Calculate with figures or private data

Differential Privacy: From the Central Model to the Local Model and their Generalization

Documents and media

Speaker(s)

Catuscia Palamidessi

Events

Software security : introduction and case studies

Information flow

Influence of specification quality on software security

Software isolation

Differential Privacy: From the Central Model to the Local Model and their Generalization

Tempus fugit : time observation attacks

Verified Implementations for Real-World Cryptographic Protocols

Typing and safety

Fault injection attacks and software protection

Compilation and safety

Software obfuscation : scrambling code to protect programs

Calculate with figures or private data

Transient Execution Attacks and Defenses

See also