Search results for: Andrei Sabelfeld
Lecture Notes in Computer Science > Software Security - Theories and Systems > Part 2: Verification of Security Properties > 174-191
Lecture Notes in Computer Science > Computer Security – ESORICS 2007 > Security Architecture and Secure Components I > 2-18
Lecture Notes in Computer Science > Computer Security – ESORICS 2011 > Information Flow, Side Channels, and Vulnerability Analysis > 372-391
Lecture Notes in Computer Science > Advances in Computer Science – ASIAN 2007. Computer and Network Security > Invited Speaker: Andrei Sabelfeld > 1-1
Lecture Notes in Computer Science > Foundations of Software Science and Computational Structures > Language Analysis > 299-315
Lecture Notes in Computer Science > Computer Security - ESORICS 2008 > Session 8: Information Flow and Non-transferability > 333-348
Lecture Notes in Computer Science > Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues > ASIAN’2006 > 120-135
Lecture Notes in Computer Science > Programming Languages and Systems > Regular Contributions > 40-58
Lecture Notes in Computer Science > Perspectives of System Informatics > Concurrent and Distributed Systems > 260-273
Lecture Notes in Computer Science > Information Systems Security > Integrity and Verifiability > 48-65
Lecture Notes in Computer Science > Perspectives of System Informatics > Processes and Concurrency > 225-239
Lecture Notes in Computer Science > Static Analysis > Session 6 > 353-369
Lecture Notes in Computer Science > Static Analysis > 376-394
Lecture Notes in Computer Science > Programming Languages and Systems > Session 4: Concurrency 1 > 220-237