![[Search]](/static/images/search.gif){kind=small}
![[A-Z Index]](/static/images/az.gif){kind=small}
![[Contact]](/static/images/contact.gif){kind=small}
![[University of Cambridge]](/static/images/identifier2.gif){kind=small}
![[Talks.cam]](/static/images/talkslogosmall.gif)
Pasquale Malacaria, Queen Mary, University of London
Friday 23 March 2007, 14:00-15:00
When While is a Security Risk
- đ¤ Speaker: Pasquale Malacaria, Queen Mary, University of London
- đ Date & Time: Friday 23 March 2007, 14:00 - 15:00
- đ Venue: FW11
Abstract
There is a clear intuitive connection between the notion of leakage of information in a program and concepts from information theory. This intuition has not been satisfactorily pinned down, until now. In particular, previous information-theoretic models of programs are imprecise, due to their overly conservative treatment of looping constructs. We present the first precise information-theoretic semantics of programs with looping constructs. Our semantics describes both the amount and rate of leakage; if either is small enough, then a program might be deemed “secure”. The talk will not assume particular prerequisites as it will concentrate in exposing the ideas and how these ideas apply on case studies. Details are available in proceedings POPL 2007 (see here).
Series This talk is part of the Logic and Semantics Seminar (Computer Laboratory) series.
Included in Lists
- All Talks (aka the CURE list)
- bld31
- Cambridge talks
- Computing and Mathematics
- Department of Computer Science and Technology talks and seminars
- FW11
- Interested Talks
- Logic and Semantics Seminar (Computer Laboratory)
- Martin's interesting talks
- School of Technology
- tcw57âs list
- Trust & Technology Initiative - interesting events
- yk373's list
- yk449
Note: Ex-directory lists are not shown.