Travelled to:1 × France
1 × Portugal
1 × Spain
2 × USA
Collaborated with:J.D.Guttman W.M.Farmer S.F.Doghmi M.E.Nadel J.A.Carlson J.C.Herzog J.D.Ramsdell B.T.Sniffen
Talks about:imp (4) system (3) descript (2) proof (2) cryptograph (1) protocol (1) mathemat (1) interact (1) guarante (1) pragmat (1)
Person: F. Javier Thayer
DBLP: Thayer:F=_Javier
Contributed to:
2007
2004
1996199419921990Wrote 7 papers:
- TACAS-2007-DoghmiGT #encryption #protocol
- Searching for Shapes in Cryptographic Protocols (SFD, JDG, FJT), pp. 523–537.
- ESOP-2004-GuttmanTCHRS #trust
- Trust Management in Strand Spaces: A Rely-Guarantee Method (JDG, FJT, JAC, JCH, JDR, BTS), pp. 325–339.
- CADE-1996-FarmerGF #named
- IMPS: An Updated System Description (WMF, JDG, FJT), pp. 298–302.
- CADE-1994-FarmerGNT #proving
- Proof Script Pragmatics in IMPS (WMF, JDG, MEN, FJT), pp. 356–370.
- CADE-1992-FarmerGT
- Little Theories (WMF, JDG, FJT), pp. 567–581.
- CADE-1992-FarmerGT92a #named
- IMPS: System Description (WMF, JDG, FJT), pp. 701–705.
- CADE-1990-FarmerGT #interactive #named #proving
- IMPS: An Interactive Mathematical Proof System (WMF, JDG, FJT), pp. 653–654.