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
[go: Go Back, main page]

Andre Scedrov

Professor of Mathematics
Professor of Computer and Information Science
University of Pennsylvania

Department of Mathematics
University of Pennsylvania
209 South 33rd Street
Philadelphia, PA 19104-6395 U.S.A.

Contacts

Photo by Tomislav Robotic.


Teaching

Spring 2009. MATH 341 / LGIC 220 : Discrete Mathematics II.
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.

List of 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.
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).
Symposium on Logical Foundations of Computer Science (LFCS 2009).


Other

Web pages of interest

___________________________________________________

Andre Scedrov