Travelled to:1 × Korea
1 × South Korea
1 × Spain
1 × Sweden
1 × United Kingdom
2 × The Netherlands
Collaborated with:D.Hedin H.Mantel D.Sands V.K.Sabelfeld D.Schoepe A.Askarov R.Focardi S.Rossi A.Birgisson L.Bello
Talks about:flow (4) inform (3) secur (3) program (2) languag (2) track (2) cryptograph (1) javascript (1) sequenti (1) function (1)
Person: Andrei Sabelfeld
DBLP: Sabelfeld:Andrei
Contributed to:
2014
2014
2006
20052002
19991997Wrote 7 papers:
- ICFP-2014-SchoepeHS #bound #named
- SeLINQ: tracking information across application-database boundaries (DS, DH, AS), pp. 25–38.
- SAC-2014-HedinBBS #api #data flow #javascript #named
- JSFlow: tracking information flow in JavaScript and its APIs (DH, AB, LB, AS), pp. 1663–1671.
- SAS-2006-AskarovHS
- Cryptographically-Masked Flows (AA, DH, AS), pp. 353–369.
- FoSSaCS-2005-FocardiRS #calculus #process #security
- Bridging Language-Based and Process Calculi Security (RF, SR, AS), pp. 299–315.
- SAS-2002-SabelfeldM #communication #concurrent
- Securing Communication in a Concurrent Language (AS, HM), pp. 376–394.
- ESOP-1999-SabelfeldS #data flow #source code
- A Per Model of Secure Information Flow in Sequential Programs (AS, DS), pp. 40–58.
- ICFP-1997-SabelfeldS #analysis #functional #problem #semantics #source code
- Simple Semantic Analysis Problems for Functional Programs (VKS, AS), p. 319.