[Gothenburg University] [Chalmers University of

Andrei Sabelfeld
Department of Computer Science and Engineering
Chalmers University of Technology
Gothenburg University

Phone: +46 31 772 1018
Fax: +46 31 772 3663
Office: EDIT 5476
Postal address: EDIT Bldg., Rännvägen 6B, 41296 Gothenburg, Sweden

Research manifesto:
Standard security practices are not capable of enforcing end-to-end confidentiality policies; mechanisms such as access control, encryption, firewalls, digital signatures, and antivirus scanning do not address the fundamental problem: tracking the flow of information in computing systems. Run-time monitoring of operating systems calls is similarly of limited use because information flow policies are not safety properties; in general, they require monitoring all possible execution paths. On the other hand, there is clear evidence of benefits provided by language-based security mechanisms that build on technology for static analysis and language semantics. More... My primary research area is language-based security while both programming languages and computer security are my general research interests.

New: PhD Positions in Software/Web Security at Chalmers


Recent publications

Recent awards


(site leader)


  LB Security S'05-13
  Conc. Prog. S'04-07
  Cryptography '98-01