Visiting address: Rännvägen 6 Room: 5449, 5th floor (EDIT-building)
PhD student in the Language Based Security Research Group
Supervisor: Alejandro Russo
Stefan, Deian; Russo, Alejandro; Buiras, Pablo; Levy, Amit; Mitchell, John C.; Mazières, David: Addressing Covert Termination and Timing Channels in Concurrent Information Flow Systems. 17th ACM SIGPLAN International Conference on Functional Programming, ICFP 2012. Copenhagen, 9 - 15 September 2012, pp. 201-213. ISBN/ISSN: 978-1-4503-1054-3
SEARCH STAFF First name Last name
SEARCH Whole site Staff
Divisions:
Computing Science >> Computer Engineering >> Networks and Systems >> Software Engineering >> Software Technology >> Administration >>
Print this page