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: Smith:Geoffrey
Contributed to:
2015
2010
2009
2001
20001998
1996
1991
19931997Wrote 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.