|
|
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.
Activities
- Steering committees:
CSF,
FCS,
NordSec
- Program committees:
ESOP'11,
NWPT'10,
MMM-ACNS'10,
AppSec Research'10,
PLAS'10,
S&P'10,
ASIACCS'10,
CCS'09,
CSF'09,
CCS'08,
CSF'08 (chair),
ESOP'08,
NordSec'07 (co-chair),
MMM-ACNS'07,
CSF'07 (chair),
PLAS'07,
ESOP'07,
APLAS'06,
ESORICS'06 (co-chair),
CSFW'06,
S&P'06,
POPL'06,
MMM-ACNS'05,
SAS'05,
FCS'05 (chair),
CSFW'05,
ESOP'05,
VODCA'04,
SecCo'04,
SAS'04,
FCS'04 (chair),
FAST'03,
FCS'03,
CSFW'03,
CSFW'02.
- Editorial: special issues on CSF 2008 and CSF 2007 of JCS and special issue on Language-Based Security of JFP.
- Keynote invited
talks/tutorials: ASIACCS'10, Dagstuhl
WebAppSec'09, OWASP Sweden
Kick-off, ASIAN'07,
TGC'06, Dagstuhl LBS'03,
FCS'03.
- Lecturing: Marktoberdorf'11, Marktoberdorf'09,
GLOBAN'08, FOSAD'04,
WSSA'03.
- Workshop program organization:
- Dagstuhl Seminar
on Mobility, Ubiquity, and Security, Schloss Dagstuhl,
Germany, February 25 - March 2, 2007.
- Chalmers Security and Static Analysis
Workshop, Gothenburg, Sweden, August 19, 2005.
- Dagstuhl Seminar on Language-Based
Security, Schloss Dagstuhl, Germany, October 5-10, 2003.
- IAI Security
Workshop, Cornell University, Ithaca, NY, March 20, 2003.
Recent
publications
Recent awards
|