Florida State University
Security Reading Group
Group Presentations
Jon Busey
May 7, 2003
Jon Busey
April 26, 2003
Protocols for Protecting Mobile Agents
Anna Suen
April 9, 2003
Protocols for Protecting Mobile Agents
Anna Suen
April 7, 2003
Will Upchurch
April 7, 2003
Protocols for Protecting Mobile Agents
Anna Suen
March 24, 2003
Jon Busey
March 26, 2003
Yanet Manzano
March 26, 2003
Forensics and Active Protection
Yanet Manzano
March 24, 2003
Anna Suen
March 24, 2003
Anna Suen
March 19, 2003
Tree-oriented Group Key Protocols
Kristin Burke
March 17, 2003
John Marshall
March 17, 2003
Will Upchurch
March 12, 2003
Anna Suen
March 5, 2003
Secure
Aggregation for Wireless Networks
Khandys Polite
March 3, 2003
Anna Suen
February 24, 2003
John Marshall
February 19, 2003
John Marshall
February 13, 2003
Yanet Manzano
February 24,
2003
Achieving
Database Security Through Data Replication: The SINTRA Prototypes
Khandys Polite
February 19, 2003
Yanet Manzano
February 5,
2003
Khandys Polite
January 27, 2003
Jon Busey
January 24, 2003
Anna Suen
January 22, 2003
Group Key Distribution Using Mobility Vectors
Kristin Burke
January 15, 2003
John Marshall
January 15, 2003
Kristin Burke
December 3, 2002
Ilkay Cubukcu
December 3, 2002
Yanet Manzano
December 3,
2002
Will Upchurch
November 21, 2002
Yanet Manzano
November 21,
2002
Khandys Polite
November 14, 2002
Karthik Narayan
November 12, 2002
Yanet Manzano
November 12,
2002
Jon Busey
November 7, 2002
Anna Suen
November 5, 2002
Karthik Narayan
October 29, 2002
Kristin Burke
October 29, 2002
John Marshall
October 29,
2002
Vik Thakur
October 22, 2002
Khandys Polite
October 17, 2002
Anna Suen
October 17, 2002
Vik Thakur
October 17, 2002
Ilkay Cubukcu
October 17, 2002
Ashutosh Chickerur
October 15, 2002
Yanet Manzano
October 15,
2002
Yanet Manzano
October 10,
2002
John Marshall
October 8, 2002
Stephen Carter
October 8, 2002
Yanet Manzano
September 26,
2002
Yanet Manzano
October 15,
2002
Ashutosh Chickerur
September 10, 2002
Yanet Manzano
September 10,
2002
Yanet Manzano
September 5,
2002
Ilkay Cubukcu
September 5, 2002
Defenses Against Storage Jamming
Anna Suen
September 5, 2002
Kristin Burke
September 24, 2002
Karthik Narayan
September 24, 2002
Stephen Carter
September
17, 2002
Kristin Burke
September 12, 2002
Anna Suen
September 5, 2002
Kristin Burke
September 5, 2002
Tysen Leckie
September 3, 2002
John Marshall
September 3, 2002
Yanet Manzano
Aug 29, 2002
Anna Suen
August 5, 2002
Stephen Carter
May
20, 2002
Yanet Manzano
April 10, 2002
Ilkay Cubukcu
April 9, 2002
Tysen Leckie
April 9, 2002
Stephen Carter
April
2, 2002
Anna Suen
April 2, 2002
Jennifer
Frazier
March
26, 2002
Stephen Carter
March 19, 2002
Tysen Leckie
March 6, 2002
John Marshall
February 26, 2002
Tysen Leckie
February 26, 2002
Stephen Carter
February 18, 2002
Anna Suen
January 30, 2002
Yanet Manzano
January 18, 2002
Sonya Harley
February 5, 2002
Stephen Carter
February 5, 2002
Jennifer Frazier
February 5, 2002
Ilkay Cubukcu
January 29, 2002
Yanet Manzano
January 29, 2002
Tysen Leckie
January 29, 2002
Alec Yasinsac
January 24, 2002
Alec Yasinsac
January 16, 2002
Sonya Harley
January 22, 2002
Alex Melendez
CPAL Development Environment
March 22, 2000
LEX, YACC, and WINCVS
Michael Runy
March 1, 2000
Security Protocols
Justin Childs
February 23, 1999
Presenter: Yanet Manzano
Hacking, Learning to Prevent it by Knowing More About it
by Yanet Manzano
February 2, 2000
Research in Network Security
Dr. Alec Yasinsac
January 19, 2000
Cryptography and the Internet
Justin Childs
Referencd Publication: in Proceedings of CRYPTO '98, August 1998
December 14, 1999
Presenter: Michael Runy
December 14, 1999
Presenter: Yanet Manzano
Steganalysis: The Investigation of Hidden Information: Anatomy of a Hack
by Neil F. Johnson and Sushil Jajodia
December 7, 1999
Presenter: Justin Childs
Weakest Precondition Reasoning
E. Dijkstra
Publication: A Discipline of Programming
Thesis
Prospectus by Justin Childs
Presentation of Project by Michael Runy
November 30, 1999
Presenter: Michael Runy
November 30, 1999
Presenter: Yanet Manzano
Malicious Software and Hacking
Anatomy of a Hack
by David Ferbrache and Stuart Mort
November 18, 1999
Presenter: Justin Childs
Tales of the Inaugural CERIAS ColloqiumInvitation
Presenter: Yanet Manzano
Network Forensics and Computer Monitoring
by Marcus J. Ranum
Presenter: Justin Childs
Prudent Engineering Practice for Cryptographic Protocols
M. Abadi & R Needham
Publication: SRC Research Reports
October 25, 1999
The Interrogator: Protocol Security Analysis
Jonathan K. Millen, Sidney C. Clark, and Sheryl B. Freedman
Publication: ?
Power Point Slide Presentation
October 25, 1999
American Criminal Law Review Summer 1999
*397 Computer Crimes
by Michael Hatcher, Jay MacDannell, Stacy Ostfield
October 7 & 14, 1999
The Use of Logic in the Analysis of Cryptographic Protocols
Paul Syverson
Publication: Proceedings of the 1991 IEEE Computer Society Symposium on Research in Security and Privacy, 1991, p. 156-170
A Critique of the BAN Logic - Notes
D. M. Nesset
Publication: Operating Systems Review, v. 20, n. 2, Apr 1990, pp 35-38
Notes in written format, to be translated shortly.
September 30, 1999
Authentication: A Practical Study in Belief and Action
by Michael Burrows, Martin Abadi, and Roger Needham
Publication: ?
Power Point Slide Presentation
September 24, 1999
Overview of Computer Forensic
by Judd Robbins
http://knock- knock.com/expert/forensic.htm
September 24, 1999
Using Encryption for Authentication in Large Networks of Computers
by Roger M. Needham, Michael D. Schroeder
Communications of the ACM December 1978 vol. 21 # 12
Power Point Slide Presentation
Authentication Revisited
by Roger M. Needham, Michael D. Schroeder
Publication: Operating Systems Review 21(1): 7 (1987)
September 17, 1999
Presenter: Mike Runy
Security Mechanisms in High-Level Network Protocols
Victor L. Voydock and Stephen T. Kent
Computing Surveys, Vol. 15, No. 2, June 1983
Power Point Slide Presentation
September 10, 1999
Presenter: Justin Childs
Netork Security: The Parts of the Sum
by Stephen T. Walker