BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Sabelfeld:Andrei

Contributed to:

ICFP 20142014
SAC 20142014
SAS 20062006
FoSSaCS 20052005
SAS 20022002
ESOP 19991999
ICFP 19971997

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.