Deprecated : The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Andre Scedrov's Home Page
Andre Scedrov
Professor of
Mathematics and
Computer and Information Science ,
University of Pennsylvania .
Photo by Tomislav Robotic.
Teaching
Spring 2007. .
LGIC: Undergraduate Program in Logic, Information, and Computation
Selected Courses from Previous Years
Research
Interests: logic, cybersecurity, information assurance, computer security,
cryptographic protocols, formal methods.
Andre Scedrov's selected publications .
SPYCE Project :
Software Quality and Infrastructure Protection for Diffuse Computing.
TIME DC Project :
Trustworthy Infrastructure, Mechanisms, and Experimentation
for Diffuse Computing.
Information Assurance Research at Penn .
Penn Seminar in Computer Security .
Penn Logic and Computation Group .
IEEE Computer Security Foundations Symposium .
3-rd Workshop on Formal and Computational Cryptography .
Workshop on Quantum Cryptography and Security .
6-th Joint Meeting of
the European Software Engineering Conference and
the ACM SIGSOFT Symposium on the Foundations of Software Engineering .
Other
Web pages of interest
___________________________________________________
Andre Scedrov