dblp: Andrei Sabelfeld dblp.org

Securing Interaction between Threads and the Scheduler.

doi.org·1063w

Closing Internal Timing Channels by Transformation.

doi.org·1063w

Cryptographically-Masked Flows.

doi.org·1063w

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

link.springer.com·1063w

Cryptographically-Masked Flows.

link.springer.com·1063w

Security for Multithreaded Programs Under Cooperative Scheduling.

link.springer.com·1063w

Securing Interaction between Threads and the Scheduler.

ieeexplore.ieee.org·1063w

Closing Internal Timing Channels by Transformation.

link.springer.com·1063w

Enforcing Robust Declassification and Qualified Robustness.

doi.org·1063w

Language-Based Security, 5.-10. October 2003.

drops.dagstuhl.de·1116w

Bridging Language-Based and Process Calculi Security.

doi.org·1116w

Security-Typed Languages for Implementation of Cryptographic Protocols: A Case Study.

doi.org·1116w

Dimensions and Principles of Declassification.

doi.org·1116w

"Language-Based Security".

doi.org·1116w

Language-Based Security, 5.-10. October 2003.

drops.dagstuhl.de·1116w

Bridging Language-Based and Process Calculi Security.

link.springer.com·1116w

Security-Typed Languages for Implementation of Cryptographic Protocols: A Case Study.

link.springer.com·1116w

Dimensions and Principles of Declassification.

ieeexplore.ieee.org·1116w

"Language-Based Security".

cambridge.org·1116w

Enforcing Robust Declassification.

doi.ieeecomputersociety.org·1168w

Log in to enable infinite scrolling