Obserwuj
Andre Scedrov
Andre Scedrov
Professor of Mathematics, Professor of Computer and Information Science, University of Pennsylvania
Zweryfikowany adres z math.upenn.edu - Strona główna
Tytuł
Cytowane przez
Cytowane przez
Rok
Categories, allegories
PJ Freyd, A Scedrov
Elsevier, 1990
10621990
Uniform proofs as a foundation for logic programming
D Miller, G Nadathur, F Pfenning, A Scedrov
Annals of Pure and Applied logic 51 (1-2), 125-157, 1991
9241991
Decision problems for propositional linear logic
P Lincoln, J Mitchell, A Scedrov, N Shankar
Annals of pure and applied logic 56 (1-3), 239-311, 1992
4141992
Bounded linear logic: a modular approach to polynomial-time computability
JY Girard, A Scedrov, PJ Scott
Theoretical computer science 97 (1), 1-66, 1992
4041992
Undecidability of bounded security protocols
J Mitchell, A Scedrov, N Durgin, P Lincoln
Workshop on formal methods and security protocols, 1999
3891999
A meta-notation for protocol analysis
I Cervesato, NA Durgin, PD Lincoln, JC Mitchell, A Scedrov
Proceedings of the 12th IEEE Computer Security Foundations Workshop, 55-69, 1999
3851999
Inheritance as implicit coercion
V Breazu-Tannen, T Coquand, CA Gunter, A Scedrov
Information and computation 93 (1), 172-221, 1991
3491991
A probabilistic poly-time framework for protocol analysis
P Lincoln, J Mitchell, M Mitchell, A Scedrov
Proceedings of the 5th ACM Conference on Computer and Communications …, 1998
2631998
Functorial polymorphism
ES Bainbridge, PJ Freyd, A Scedrov, PJ Scott
Theoretical computer science 70 (1), 35-64, 1990
2491990
Multiset rewriting and the complexity of bounded security protocols
N Durgin, P Lincoln, J Mitchell, A Scedrov
Journal of Computer Security 12 (2), 247-311, 2004
2422004
An extension of system F with subtyping
L Cardelli, S Martini, JC Mitchell, A Scedrov
Information and computation 109 (1-2), 4-56, 1994
1861994
An extension of system F with subtyping
L Cardelli, S Martini, JC Mitchell, A Scedrov
Theoretical Aspects of Computer Software: International Conference TACS'91 …, 1991
1421991
A probabilistic polynomial-time process calculus for the analysis of cryptographic protocols
JC Mitchell, A Ramanathan, A Scedrov, V Teague
Theoretical Computer Science 353 (1-3), 118-164, 2006
1272006
Breaking and fixing public-key Kerberos
I Cervesato, AD Jaggard, A Scedrov, JK Tsay, C Walstad
Information and Computation 206 (2-4), 402-424, 2008
1262008
Relating strands and multiset rewriting for security protocol analysis
I Cervesato, N Durgin, J Mitchell, P Lincoln, A Scedrov
Proceedings 13th IEEE Computer Security Foundations Workshop. CSFW-13, 35-51, 2000
1172000
A categorical approach to realizability and polymorphic types
A Carboni, PJ Freyd, A Scedrov
Mathematical Foundations of Programming Language Semantics: 3rd Workshop …, 1988
1041988
Inductive methods and contract-signing protocols
R Chadha, M Kanovich, A Scedrov
Proceedings of the 8th ACM Conference on Computer and Communications …, 2001
1012001
Key-dependent message security under active attacks–BRSIM/UC-soundness of Dolev–Yao-style encryption with key cycles
M Backes, B Pfitzmann, A Scedrov
Journal of Computer Security 16 (5), 497-530, 2008
1002008
Formal analysis of multiparty contract signing
R Chadha, S Kremer, A Scedrov
Journal of Automated Reasoning 36 (1), 39-83, 2006
992006
A Formal Analysis of Some Properties of Kerberos 5 Using MSR.
F Butler, I Cervesato, AD Jaggard, A Scedrov
CSFW 2, 175-190, 2002
932002
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20