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
SÖK PERSONAL Förnamn Efternamn
SÖK Hela sajten Personal
Avdelningar:
Datavetenskap >> Datorteknik >> Nätverk och system >> Programvaruteknik >> Software Engineering >> Verksamhetsstöd >>
Skriv ut