Stephen Magill (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2 Stephen Magill, Bradley Skaggs, Mauricio Papa, John Hale: Implementation and Verification of Programmable Security. DBSec 2002: 285-299

1 Mauricio Papa, Oliver Bremer, Stephen Magill, John Hale, Sujeet Shenoi: Simulation and Analysis of Cryptographic Protocols. DBSec 2000: 89-100

Selection of 2 from 5 records - Stephen Magill has 15 coauthors

2		Stephen Magill, Bradley Skaggs, Mauricio Papa, John Hale: Implementation and Verification of Programmable Security. DBSec 2002: 285-299
1		Mauricio Papa, Oliver Bremer, Stephen Magill, John Hale, Sujeet Shenoi: Simulation and Analysis of Cryptographic Protocols. DBSec 2000: 89-100