dblp: Andrei Sabelfeld dblp.org

Securing interaction between threads and the scheduler in the presence of synchronization.

doi.org·907w

Declassification: Dimensions and principles.

doi.org·907w

Termination-Insensitive Noninterference Leaks More Than Just a Bit.

doi.org·959w

Termination-Insensitive Noninterference Leaks More Than Just a Bit.

link.springer.com·959w

Cryptographically-masked flows.

doi.org·959w

Preface.

doi.org·959w

07091 Abstracts Collection - Mobility, Ubiquity and Security.

drops.dagstuhl.de·1011w

Mobility, Ubiquity and Security, 25.02. - 02.03.2007.

drops.dagstuhl.de·1011w

Gradual Release: Unifying Declassification, Encryption and Key Release Policies.

doi.org·1011w

07091 Executive Summary - Mobility, Ubiquity and Security.

drops.dagstuhl.de·1011w

Security of Multithreaded Programs by Compilation.

doi.org·1011w

07091 Abstracts Collection - Mobility, Ubiquity and Security.

drops.dagstuhl.de·1011w

Mobility, Ubiquity and Security, 25.02. - 02.03.2007.

drops.dagstuhl.de·1011w

Security of Multithreaded Programs by Compilation.

link.springer.com·1011w

Dimensions of Declassification in Theory and Practice.

doi.org·1011w

Localized delimited release: combining the what and where dimensions of information release.

doi.org·1011w

Gradual Release: Unifying Declassification, Encryption and Key Release Policies.

ieeexplore.ieee.org·1011w

07091 Executive Summary - Mobility, Ubiquity and Security.

drops.dagstuhl.de·1011w

Computer Security - ESORICS 2006, 11th European Symposium on Research in Computer Security, Hamburg, Germany, September 18-20, 2006, Proceedings.

doi.org·1063w

Security for Multithreaded Programs Under Cooperative Scheduling.

doi.org·1063w

Log in to enable infinite scrolling