Sciweavers

6527 search results - page 74 / 1306
» On Typing Information Flow
Sort
View
ISCA
2007
IEEE
109views Hardware» more  ISCA 2007»
15 years 10 months ago
Raksha: a flexible information flow architecture for software security
Michael Dalton, Hari Kannan, Christos Kozyrakis
SP
2007
IEEE
126views Security Privacy» more  SP 2007»
15 years 10 months ago
Information Flow in the Peer-Reviewing Process
Michael Backes, Markus Dürmuth, Dominique Unr...
80
Voted
ASIAN
2007
Springer
72views Algorithms» more  ASIAN 2007»
15 years 10 months ago
Information Flow Testing
Gurvan Le Guernic
99
Voted
CCS
2007
ACM
15 years 10 months ago
Verification condition generation for conditional information flow
Torben Amtoft, Anindya Banerjee