|
|
Assurance for modular and mobile code
Semantic Consistency in Information Exchange
ONR '97 MURI Project
|
Papers and Reports: 1997-1998
Security Protocols Analysis
-
Patrick Lincoln, John Mitchell, Mark Mitchell, and Andre Scedrov:
"A
probabilistic poly-time framework for protocol analysis",
in the proceedings of the fifth ACM Conference on Computer and
Communications Security,
San Francisco, CA,
November, 1998.
-
John C. Mitchell, Mark Mitchell, and Ulrich Stern:
"Automated
Analysis of Cryptographic Protocols Using Murphi",
in the Proceedings of the 1997 IEEE Symposium on Security and Privacy,
pages 141-153,
Oakland, CA,
May 1997.
-
John C. Mitchell, Vitaly Shmatikov, and Ulrich Stern:
"Finite-State
Analysis of SSL 3.0",
in the Proceedings of the
7th USENIX
Security Symposium,
pages 201-216,
San Antonio,
1998.
Preliminary version presented at DIMACS Workshop on Design and Formal
Verification of Security Protocols, September 1997, and distributed on
workshop CD.
-
Vitaly Shmatikov and Ulrich Stern:
"Efficient
Finite-State Analysis for Large Security Protocols",
in the Proceedings of the 11th IEEE Computer Security Foundations
Workshop,
pages 106-15,
Rockport, MA,
June 1998
Real-Time Systems
-
Hee-Hwan Kwak, Jin-Young Choi, Insup Lee, Anna Philippou, and
Oleg Sokolsky:
"Symbolic
Schedulability Analysis of Real-time Systems",
in Proceedings of the 19th IEEE Real-Time Systems Symposium -
RTSS'98,
IEEE Computer Society Press, to appear,
Madrid, Spain,
December 1998.
-
Max Kanovich, Mitsu Okada, and Andre Scedrov:
"Specifying
Real-Time Finite-State Systems in Linear Logic",
in the Proceedings of the 2nd International Workshop on Constraint
Programming for Time-Critical Applications and Multi-Agent Systems -
COTIC'98,
Electronic Notes in Theoretical Computer Science, to appear,
Nice, France,
September 1998.
-
Anna Philippou, Oleg Sokolsky, Insup Lee, Rance Cleaveland, and
Scott Smolka:
"Probabilistic
Resource Failure in Real-Time Process Algebra",
in Proceedings of the 9th International Conference on Concurrency Theory -
CONCUR'98,
Springer-Verlag LNCS, to appear,
Nice, France,
September 1998.
-
Anna Philippou, Oleg Sokolsky, Insup Lee, Rance Cleaveland, and
Scott Smolka:
"Specifying
Failures and Recoveries in PACSR",
in Proceedings of the Workshop on Probabilistic Methods in Verification,
Technical Report CSR-98-4,
University of Birmingham,
pp. 153-167,
June 1998.
-
Oleg Sokolsky, Insup Lee, and Hanêne Ben-Abdallah:
"Specification
and Analysis of Real-Time Systems with PARAGON",
in Jeffrey J.P Tsai editor,
the Annals of Software
Engineering,
volume 7 (Real-Time Software Engineering),
Baltzer Science Publishers,
to appear.
Submitted March 1998.
-
Oleg Sokolsky, Mohamed Younis, Insup Lee, Hee-Hwan Kwak, and
Jeff Zhou:
"Verification
of the Redundancy Management System for Space Launch Vehicle: A Case
Study",
in the Proceedings of the 3rd IEEE Real-Time Technology and Applications
Symposium -
RTAS '98,
IEEE Computer Society Press, to appear,
Denver, CO,
June 1998.
Probabilistic Program Correctness
-
Funda Ergün, Sampath Kannan, S. Ravi Kumar, Ronitt Rubinfeld, and
Mahesh Viswanathan:
"Spot-Checkers",
in the Proceedings of the 30th ACM Symposium on the Theory of Computing -
STOC'98,
pages 259-268,
Dallas, TX,
May, 1998.
-
Funda Ergün, S. Ravi Kumar, and Ronitt Rubinfeld:
"Approximate Checking of Polynomials and
Functional Equations",
submitted for publication.
A preliminary version appeared in the Proceedings of the 37th IEEE
Symposium on the Foundations of Computer Science -
FOCS'98,
pages 592-601,
Burlington, VT, October 1996.
Programming Languages
- Iliano Cervesato:
"Proof-Theoretic
Foundation of Compilation in Logic Programming Languages",
in the Proceedings of the
1998 Joint International Conference and Symposium on Logic
Programming -
JICSLP'98,
(J. Jaffar editor),
pages 115-129,
MIT Press,
Manchester, UK,
June 16-19 1998.
-
Stephen Freund and John C. Mitchell:
"A
Type System for Object Initialization in the Java Bytecode Language",
in the Proceedings of the ACM Symposium on Object-oriented Programming:
Systems, Languages and Applications -
OOPSLA'98,
Vancouver, Canada,
October, 1998
(to appear).
Temporal Reasoning
- Iliano Cervesato, Massimo Franceschet, and Angelo Montanari:
"Event
Calculus with Explicit Quantifiers"
in the Proceedings of the
Fifth International Workshop on Temporal Representation
and Reasoning -
TIME'98,
(R. Morris, L. Khatib editors),
pages 81-88,
IEEE Computer Society Press,
Sanibel Island, FL,
May 16-17 1998.
- Iliano Cervesato, Massimo Franceschet, and Angelo Montanari:
"The
Complexity of Model Checking in Modal Event Calculi with Quantifiers"
in the Proceedings of the
Sixth International conference on Principles of Knowledge
Representation and Reasoning -
KR'98,
(A.G. Cohn, L.K. Shubert, and S.C. Shapiro, editors),
pages 368-379,
Morgan Kaufmann publishers,
Trento, Italy,
June 2-5 1998.
Adaptive Agents
|
|