dblp: Andrei Sabelfeld dblp.org

03411 Final Report - Language Based Security.

drops.dagstuhl.de·1220w

03411 Abstracts Collection - Language Based Security.

drops.dagstuhl.de·1220w

Confidentiality for Multithreaded Programs via Bisimulation.

doi.org·1220w

A Model for Delimited Information Release.

doi.org·1220w

Language-based information-flow security.

doi.org·1220w

03411 Abstracts Collection - Language Based Security.

drops.dagstuhl.de·1220w

03411 Final Report - Language Based Security.

drops.dagstuhl.de·1220w

A Model for Delimited Information Release.

link.springer.com·1220w

Confidentiality for Multithreaded Programs via Bisimulation.

link.springer.com·1220w

Language-based information-flow security.

ieeexplore.ieee.org·1220w

A Unifying Approach to the Security of Distributed and Multi-Threaded Programs.

doi.org·1220w

Securing Communication in a Concurrent Language.

doi.org·1272w

Securing Communication in a Concurrent Language.

link.springer.com·1272w

The Impact of Synchronisation on Secure Information Flow in Concurrent Programs.

doi.org·1324w

A Per Model of Secure Information Flow in Sequential Programs.

doi.org·1324w

A Generic Approach to the Security of Multi-Threaded Programs.

doi.org·1324w

The Impact of Synchronisation on Secure Information Flow in Concurrent Programs.

link.springer.com·1324w

A Generic Approach to the Security of Multi-Threaded Programs.

ieeexplore.ieee.org·1324w

A Per Model of Secure Information Flow in Sequential Programs.

link.springer.com·1324w

Probabilistic Noninterference for Multi-Threaded Programs.

doi.org·1377w

Log in to enable infinite scrolling