Travelled to:1 × Italy
1 × Japan
1 × Spain
1 × United Kingdom
2 × USA
Collaborated with:C.Fournet A.D.Gordon N.Swamy P.Strub C.A.Gunter J.Borgström J.Chen S.Chandra P.J.McCann A.Rastogi J.Yang G.M.Bierman M.Kim I.Lee D.Obradovic O.Sokolsky M.Viswanathan C.Hritcu C.Keller Antoine Delignat-Lavaud Simon Forest Markulf Kohlweiss Jean Karim Zinzindohoue S.Z.Béguelin
Talks about:type (4) secur (3) network (2) depend (2) javascript (1) distribut (1) protocol (1) composit (1) automata (1) verisim (1)
Person: Karthikeyan Bhargavan
DBLP: Bhargavan:Karthikeyan
Contributed to:
2014
2011201020042001
2000
20092016Wrote 8 papers:
- POPL-2014-SwamyFRBCSB #embedded #javascript #type system
- Gradual typing embedded securely in JavaScript (NS, CF, AR, KB, JC, PYS, GMB), pp. 425–438.
- ICFP-2011-SwamyCFSBY #dependent type #distributed #programming
- Secure distributed programming with value-dependent types (NS, JC, CF, PYS, KB, JY), pp. 266–278.
- POPL-2010-BhargavanFG #composition #protocol #security #type system #verification
- Modular verification of security protocol code by typing (KB, CF, ADG), pp. 445–456.
- POPL-2004-BhargavanFG #authentication #semantics #web #web service
- A semantics for web services authentication (KB, CF, ADG), pp. 198–209.
- POPL-2001-BhargavanCMG #automaton #monitoring #network #what
- What packets may come: automata for network monitoring (KB, SC, PJM, CAG), pp. 206–219.
- ISSTA-2000-BhargavanGKLOSV #analysis #formal method #named #network #simulation
- Verisim: Formal analysis of network simulations (KB, CAG, MK, IL, DO, OS, MV), pp. 2–13.
- Haskell-2009-BorgstromBG #composition #haskell
- A compositional theory for STM Haskell (JB, KB, ADG), pp. 69–80.
- POPL-2016-SwamyHKRDFBFSKZ #dependent type #multi
- Dependent types and multi-monadic effects in F (NS, CH, CK, AR, ADL, SF, KB, CF, PYS, MK, JKZ, SZB), pp. 256–270.