F9 Tutorial URLs, Bios and Pics
Richard A. Kemmerer is a Professor and past Chair of the Department of Computer Science at UCSB. He is a Fellow of the IEEE Computer Society, a Fellow of the Association for Computing Machinery, and past Editor-in-Chief of IEEE Transactions on Software Engineering. Dr. Kemmerer has chaired or served on many program committees and was the program co-chair of the 20th International Conference on Software Engineering (ICSE98). He has served as a member of several National Academy of Science committees on Computer Security. He has also served as a member of the National Computer Security Center's Formal Verification Working Group and was a member of the NIST's Computer and Telecommunications Security Council. Dr. Kemmerer is also a past Chair of the IEEE Technical Committee on Security and Privacy and a past member of the Advisory Board for the ACM's Special Interest Group on Security, Audit, and Control, and a member of Microsoft's Trustworthy Computing Academic Advisory Board. Dr. Kemmerer has written numerous papers on the subjects of computer security, and he is the author of the book "Formal Specification and Verification of an Operating System Security Kernel" and a co-author of "Computers at Risk: Safe Computing in the Information Age."
Giovanni Vigna is an Assistant Professor in the Department of Computer Science at the University of California in Santa Barbara, where he teaches a graduate course on "Network Security and Intrusion Detection". His current research interests include network and computer security, intrusion detection systems, security of mobile code systems, penetration testing, and distributed systems. He has published a number of publications on intrusion detection and security and he is Program Chair of the International Symposium on Recent Advances in Intrusion Detection (RAID 2002). Giovanni Vigna received his M.S. with honors and Ph.D. from Politecnico di Milano, Italy, in 1994 and 1998, respectively. His Ph.D. research focused on mobile code architectures and mobile code security issues. He is a member of IEEE and ACM.