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 × Cyprus
1 × Japan
1 × Sweden
1 × United Kingdom
4 × USA
Collaborated with:
D.M.Volpano N.N.Vuong Y.Deng M.E.Andrés C.Palamidessi P.v.Rossum
Talks about:
inform (4) secur (3) type (3) flow (3) polymorph (2) overload (2) quantit (2) languag (2) system (2) ml (2)

Person: Geoffrey Smith

DBLP DBLP: Smith:Geoffrey

Contributed to:

LICS 20152015
TACAS 20102010
FOSSACS 20092009
SAC 20012001
POPL 20002000
POPL 19981998
ESOP 19961996
FPCA 19911991
TAPSOFT CAAP/FASE 19931993
TAPSOFT CAAP/FASE 19971997

Wrote 10 papers:

LICS-2015-Smith #data flow
Recent Developments in Quantitative Information Flow (GS), pp. 23–31.
TACAS-2010-AndresPRS #information management
Computing the Leakage of Information-Hiding Systems (MEA, CP, PvR, GS), pp. 373–389.
FoSSaCS-2009-Smith #data flow #on the
On the Foundations of Quantitative Information Flow (GS), pp. 288–302.
SAC-2001-VuongSD #distributed #policy #security #using #xml
Managing security policies in a distributed environment using eXtensible markup language (XML) (NNV, GS, YD), pp. 405–411.
POPL-2000-VolpanoS #verification
Verifying Secrets and Relative Secrecy (DMV, GS), pp. 268–276.
POPL-1998-SmithV #concurrent #data flow #imperative #multi #thread
Secure Information Flow in a Multi-Threaded Imperative Language (GS, DMV), pp. 355–364.
ESOP-1996-SmithV #c #polymorphism #towards #type system
Towards an ML-Style Polymorphic Type System for C (GS, DMV), pp. 341–355.
FPCA-1991-VolpanoS #complexity #ml #on the
On the Complexity of ML Typability with Overloading (DMV, GS), pp. 15–28.
TAPSOFT-1993-Smith #polymorphism #type inference #type system
Polymorphic Type Inference with Overloading and Subtyping (GS), pp. 671–685.
TAPSOFT-1997-VolpanoS #approach #security #type system
A Type-Based Approach to Program Security (DMV, GS), pp. 607–621.

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.