AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Sebastian Hunt

Sebastian Hunt

City University London - London / United Kingdom
Engineering & Technology / Computer Science
AD Scientific Index ID: 4330653
University of London
person_outline Sebastian Hunt's MOST POPULAR ARTICLES
1-) On flow-sensitive security types ACM SIGPLAN Notices 41 (1), 79-90, 2006
2-) Termination-insensitive noninterference leaks more than just a bit European symposium on research in computer security, 333-348, 2008
3-) A static analysis for quantifying information flow in a simple imperative language Journal of Computer Security 15 (3), 321-371, 2007
4-) Quantitative analysis of the leakage of confidential data Electronic Notes in Theoretical Computer Science 59 (3), 238-251, 2002
5-) Quantitative information flow, relations and polymorphic types Journal of Logic and Computation 15 (2), 181-199, 2005