[TYPES/announce] FAST 2008: Formal Aspects of Security and Trust

and overlapping submissions must be cited explicitly in short papers. -- Joshua D. Guttman The MITRE Corporation

[TYPES/announce] Formal Aspects of Security and Trust: CFP

. -- Joshua D. Guttman The MITRE Corporation

[TYPES/announce] FAST extended deadline: 20 July abstracts, 24 July papers (Formal Aspects of Security and Trust)

publications and overlapping submissions must be cited explicitly in short papers. -- Joshua D. Guttman The MITRE Corporation

[TYPES/announce] Principles of Security and Trust (New ETAPS main conference)

, IT -- Joshua D. Guttman WPI, Computer Science

[TYPES/announce] [cfp] Security track at ACM SAC

-- Joshua D. Guttman WPI, Computer Science