The following pages link to Andrei Sabelfeld (Q187613):
Displaying 18 items.
- Securing interaction between threads and the scheduler in the presence of synchronization (Q843217) (← links)
- Cryptographically-masked flows (Q935463) (← links)
- Semantic models for the security of sequential and concurrent programs (Q2724215) (← links)
- SeLINQ: tracking information across application-database boundaries (Q2819661) (← links)
- (Q3043825) (← links)
- Implicit flows in malicious and nonmalicious code (Q3060986) (← links)
- Multi-run Security (Q3100902) (← links)
- Tracking Information Flow in Dynamic Tree Structures (Q3182851) (← links)
- A Principled Approach to Tracking Information Flow in the Presence of Libraries (Q3304806) (← links)
- Security for Multithreaded Programs Under Cooperative Scheduling (Q3401968) (← links)
- Value Sensitivity and Observable Abstract Values for Information Flow Control (Q3460041) (← links)
- BetterTimes (Q3464404) (← links)
- Cryptographically-Masked Flows (Q3613392) (← links)
- (Q4411973) (← links)
- Foundations of Software Science and Computational Structures (Q5705885) (← links)
- Information Flow Tracking for Side-Effectful Libraries (Q5881538) (← links)
- Perspectives of System Informatics (Q5902415) (← links)
- A per model of secure information flow in sequential programs (Q5936652) (← links)