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
LGIC: Undergraduate Program in Logic, Information, and Computation
Selected Courses from Previous Years
Research
Interests: logic, cybersecurity, information assurance,
information privacy, computer security and privacy,
cryptographic protocols, formal methods.
Andre Scedrov's selected publications .
Project Presidio : Collaborative policies and assured information sharing.
Information Assurance Research at Penn .
Penn Seminar in Computer Security .
Penn Logic and Computation Group .
IEEE Computer Security Foundations Symposium .
6-th Joint Meeting of
the European Software Engineering Conference and
the ACM SIGSOFT Symposium on the Foundations of Software Engineering .
The 7-th International Workshop on Formal Aspects of Security & Trust
(FAST2010) .
Colloquium on Computer Security, ENS Cachan .
18-th Workshop on Logic, Language, Information and
Computation (WoLLIC 2011) .
Cryptography Minisymposium, 3rd biennial Canadian Discrete and Algorithmic
Mathematics Conference (CanaDAM) .
31-st International Cryptology Conference (CRYPTO 2011) .
Other
Web pages of interest
___________________________________________________
Andre Scedrov