Andrei Sabelfeld

Available identifiers

Publication	Date of Publication	Type
Information Flow Tracking for Side-Effectful Libraries	2023-03-10	Paper
A Principled Approach to Tracking Information Flow in the Presence of Libraries	2020-08-03	Paper
SeLINQ: tracking information across application-database boundaries	2016-09-29	Paper
BetterTimes	2016-01-27	Paper
Value Sensitivity and Observable Abstract Values for Information Flow Control	2016-01-12	Paper
Multi-run Security	2011-11-22	Paper
Implicit flows in malicious and nonmalicious code	2010-12-13	Paper
Security for Multithreaded Programs Under Cooperative Scheduling	2010-02-02	Paper
Perspectives of System Informatics	2010-01-05	Paper
Tracking Information Flow in Dynamic Tree Structures	2009-10-16	Paper
Securing interaction between threads and the scheduler in the presence of synchronization	2009-09-29	Paper
Cryptographically-Masked Flows	2009-03-12	Paper
Cryptographically-masked flows	2008-08-06	Paper
Foundations of Software Science and Computational Structures	2005-11-10	Paper
https://portal.mardi4nfdi.de/entity/Q3043825	2004-08-06	Paper
https://portal.mardi4nfdi.de/entity/Q4411973	2003-07-13	Paper
Semantic models for the security of sequential and concurrent programs	2001-07-10	Paper
A per model of secure information flow in sequential programs	2001-07-03	Paper

This page was built for person: Andrei Sabelfeld