Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Abadi, Martín
1999.
Secrecy in Programming-Language Semantics.
Electronic Notes in Theoretical Computer Science,
Vol. 20,
Issue. ,
p.
80.
Foster, Jeffrey S.
Fähndrich, Manuel
and
Aiken, Alexander
1999.
A theory of type qualifiers.
p.
192.
Leroy, Xavier
and
Rouaix, François
1999.
Secure Internet Programming.
Vol. 1603,
Issue. ,
p.
147.
League, Christopher
Shao, Zhong
and
Trifonov, Valery
1999.
Representing Java classes in a typed intermediate language.
p.
183.
League, Christopher
Shao, Zhong
and
Trifonov, Valery
1999.
Representing Java classes in a typed intermediate language.
ACM SIGPLAN Notices,
Vol. 34,
Issue. 9,
p.
183.
Abadi, Martín
1999.
Secrecy by typing in security protocols.
Journal of the ACM,
Vol. 46,
Issue. 5,
p.
749.
Foster, Jeffrey S.
Fähndrich, Manuel
and
Aiken, Alexander
1999.
A theory of type qualifiers.
ACM SIGPLAN Notices,
Vol. 34,
Issue. 5,
p.
192.
Abadi, Martín
Banerjee, Anindya
Heintze, Nevin
and
Riecke, Jon G.
1999.
A core calculus of dependency.
p.
147.
Sabelfeld, Andrei
and
Sands, David
1999.
Programming Languages and Systems.
Vol. 1576,
Issue. ,
p.
40.
Sewell, P.
and
Vitek, J.
2000.
Secure composition of untrusted code: wrappers and causality types.
p.
269.
Pottier, François
and
Conchon, Sylvain
2000.
Information flow inference for free.
ACM SIGPLAN Notices,
Vol. 35,
Issue. 9,
p.
46.
Giacobazzi, Roberto
Ranzato, Francesco
and
Scozzari, Francesca
2000.
Making abstract interpretations complete.
Journal of the ACM,
Vol. 47,
Issue. 2,
p.
361.
Pottier, François
and
Conchon, Sylvain
2000.
Information flow inference for free.
p.
46.
Kirli, Z.D.
2001.
Confined mobile functions.
p.
283.
Bodei, Chiara
Degano, Pierpaolo
Nielson, Flemming
and
Riis Nielson, Hanne
2001.
Static Analysis for the π-Calculus with Applications to Security.
Information and Computation,
Vol. 168,
Issue. 1,
p.
68.
Honda, Kohei
and
Yoshida, Nobuko
2002.
A uniform type structure for secure information flow.
p.
81.
Thiemann, Peter
2002.
Programming Languages and Systems.
Vol. 2305,
Issue. ,
p.
228.
Fournet, Cédric
and
Gordon, Andrew D.
2002.
Stack inspection.
p.
307.
Honda, Kohei
and
Yoshida, Nobuko
2002.
A uniform type structure for secure information flow.
ACM SIGPLAN Notices,
Vol. 37,
Issue. 1,
p.
81.
Fournet, Cédric
and
Gordon, Andrew D.
2002.
Stack inspection.
ACM SIGPLAN Notices,
Vol. 37,
Issue. 1,
p.
307.
Discussions
No Discussions have been published for this article.