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 Computer and Information Science University of Pennsylvania
Photo by Tomislav Robotic.
Teaching
Spring 2008. .
Spring 2008. .
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 .
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 .
ACM Symposium on Information, Computer and
Communications Security (ASIACCS '08) .
Twenty-fourth Conference on the
Mathematical Foundations of
Programming Semantics (MFPS XXIV) .
Other
Web pages of interest
___________________________________________________
Andre Scedrov