Travelled to:1 × France
1 × Ireland
1 × Japan
1 × Switzerland
Collaborated with:P.T.Devanbu P.F.Syverson P.W.L.Fong
Talks about:softwar (3) verif (2) trust (2) engin (2) cryptograph (1) techniqu (1) research (1) roadmap (1) princip (1) hardwar (1)
Person: Stuart G. Stubblebine
DBLP: Stubblebine:Stuart_G=
Contributed to:
2000
19991998
1997
1997Wrote 5 papers:
- FoSE-2000-DevanbuS #re-engineering #roadmap #security
- Software engineering for security: a roadmap (PTD, SGS), pp. 227–239.
- FM-v1-1999-SyversonS #formal method
- Group Principals and the Formalization of Anonymity (PFS, SGS), pp. 814–833.
- ICSE-1998-DevanbuFS #re-engineering
- Techniques for Trusted Software Engineering (PTD, PWLF, SGS), pp. 126–135.
- ASE-1997-DevanbuS #automation #hardware #research #using #verification
- Research Directions for Automated Software Verification: Using Trusted Hardware (PTD, SGS), pp. 274–279.
- ESEC-FSE-1997-DevanbuS #encryption #test coverage #verification
- Cryptographic Verification of Test Coverage Claims (PTD, SGS), pp. 395–413.