Jump to: Main Page | Combinatorics | Theory for Network Routing | Information Assurance | Fractal Electrodynamics
Combinatorics
Papers and preprints
- Aaron D. Jaggard, "An almost-bijective proof of an asymptotic property of partitions," Random Structures & Algorithms, 31 (2), 2007, pp. 247--250. doi:10.1002/rsa.20180
- Aaron D. Jaggard, "Subsequence containment by involutions," Electronic Journal of Combinatorics 12 (1), 2005 #R14, 15 pages.
- Aaron D. Jaggard, "Prefix exchanging and pattern avoidance by involutions," Electronic Journal of Combinatorics 9 (2), 2003 #R16, 24 pages.
Combinatorics Links
Theory for Network Routing
See also the project homepage for Mitigating Exploits of the Current Interdomain Routing Infrastructure
Papers and Technical Reports
- Sharon Goldberg, Shai Halevi, Aaron D. Jaggard, Vijay Ramachandran, and Rebecca N. Wright, "Rationality and Traffic Attraction: Incentives for Honest Path Announcements in BGP"
- Proceedings of SIGCOMM 2008 (to appear)
- Princeton CS Technical Report TR-823-08 (in preparation)
- Aaron D. Jaggard, Vijay Ramachandran, and Rebecca N. Wright, "Towards a Realistic Model of Incentives in Interdomain Routing: Decoupling Forwarding from Signaling"
- DIMACS Technical Report 2008-02 (Version of 2008-04-27, 37 page pdf)
- Aaron D. Jaggard and Vijay Ramachandran, "Robust Path-Vector Routing Despite Inconsistent Route Preferences"
- Proceedings of IEEE ICNP 2006 (Santa Barbara, USA, November 2006)
- (Extended preliminary version) Yale CS Technical Report 1314 [.pdf]
- Aaron D. Jaggard and Vijay Ramachandran, "Towards the Design of Robust Inter-domain Routing Protocols," IEEE Network 19 (6), 35-41 (2005).
- Preliminary version [.pdf]
- Aaron D. Jaggard and Vijay Ramachandran, "Relating Two Formal Models of Path-Vector Routing,"
- Proceedings of IEEE INFOCOM 2005 (Miami, USA, March 2005) [.pdf] [.ps]
- (Extended version) Yale CS Technical Report 1301 (in preparation)
- Aaron D. Jaggard and Vijay Ramachandran, "Robustness of Class-Based Path-Vector Systems,"
- Proceedings of ICNP 2004 (Berlin, Germany, October 2004) [.pdf] [.ps]
- (Extended version) Yale CS Technical Report 1296 (in preparation)
- Timothy G. Griffin,
Aaron D. Jaggard, and
Vijay Ramachandran,
"Design Principles of Policy Languages for Path Vector Protocols,"
Links
Information Assurance
Papers and Technical Reports
- Aaron D. Jaggard, Cathy Meadows, Michael Mislove, and Roberto Segala, "Task Probabilistic Input/Ouput Automata as Domains", presented at FCC'08.
- B. Blanchet, A. D. Jaggard, A. Scedrov, and J.-K. Tsay, "Computationally Sound Mechanized Proofs for Basic and Public-key Kerberos," Proceedings of ASIACCS 2008, pp. 87--99 (2008). doi:10.1145/1368310.1368326
- I. Cervesato, A. D. Jaggard, A. Scedrov, J.-K. Tsay, and C. Walstad, "Breaking and Fixing Public-Key Kerberos," Information and Computation 206, pp. 402--424 (2008). doi:10.1016/j.ic.2007.05.005
- Aaron D. Jaggard, Andre Scedrov, and Joe-Kai Tsay, "Computationally Sound Mechanized Proof of PKINIT for Kerberos," presented at FCC'07.
[PDF]
- M. Backes, I. Cervesato, A. D. Jaggard, A. Scedrov, J.-K. Tsay, "Cryptographically Sound Security Proofs for Basic and Public-Key Kerberos," ESORICS 2006.
- F. Butler, I. Cervesato, A. D. Jaggard, A. Scedrov, and C. Walstad, "Formal Analysis of Kerberos 5," Theoretical Computer Science 367, pp. 57--87 (2006). doi:10.1016/j.tcs.2006.08.040
- I. Cervesato, A. D. Jaggard, A. Scedrov, J.-K. Tsay, and C. Walstad, "Breaking and Fixing Public-Key Kerberos," in Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues, LNCS 4435, pp. 167-181. doi:10.1007/978-3-540-77505-8_13
- I. Cervesato, A. D. Jaggard, A. Scedrov, J.-K. Tsay, and C. Walstad, "Breaking and Fixing Public-Key Kerberos," Sixth Workshop on Issues in the Theory of Security - WITS'06 (Dieter Gollmann and Jan Juerjens, editors), pp. 55-70, Vienna, Austria, 25-26 March 2006.
- This work is related to Microsoft Security Bulletin MS05-042.
- Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, and Chris Walstad, "Specifying Kerberos 5 Cross-Realm Authentication," Proceedings of WITS 05 (Long Beach, USA, January 2005).
[PDF]
- Fred Butler, Iliano Cervesato, Aaron D. Jaggard, and Andre Scedrov, "A Formal Analysis of Some Properties of Kerberos 5 using MSR", UPenn CIS Technical Report MS-CIS-04-04 (59 pages, April 2004).
[PDF] [PS]
- Frederick Butler, Iliano Cervesato, Aaron D. Jaggard, and Andre Scedrov, "Verifying Confidentiality and Authentication in Kerberos 5," in Software Security - Theories and Systems --- ISSS 2003, Springer-Verlag LNCS 3233, K. Futatsugi, F. Mizoguchi, and N. Yonezaki, eds.
[PDF] [GZipped PS]
- Fred Butler, Iliano Cervesato, Aaron D. Jaggard, and Andre Scedrov, "A formal analysis of some properties of Kerberos 5 using MSR," in S. Schneider, ed., "15th IEEE Computer Security Foundations Workshop,
Cape Breton, Nova Scotia, Canada, June, 2002", IEEE Computer Society
Press, 2002
Preliminary version: [PDF]
[PS]
[GZipped PS]
Links
Fractal Electrodynamics
Papers
- D. L. Jaggard and A. D. Jaggard, "Fractal Ring
Arrays," Wave Motion (Special Issue: Electrodynamics in Complex
Environments). 34 281-299 (2001).
- A. D. Jaggard and D. L. Jaggard, "Cantor Ring Diffractals,"
Optics Comm. 158, 141-148 (1998).
- D. L. Jaggard and A. D. Jaggard, "Cantor Ring Arrays,"
Microwave and Optical Technology Letters 19, 121-125 (1998).
- A. D. Jaggard and D. L. Jaggard, "Scattering from Fractal Superlattices with Variable Lacunarity," J. Opt. Soc. Am. A
15, 1626-1635 (1998)
- D. L. Jaggard and A. D. Jaggard, "Polyadic Cantor Superlattices
with Variable Lacunarity," Opt. Lett. 22, 145-147 (1997)
Book Chapters
- Dwight L. Jaggard, Aaron D. Jaggard, and Panayiotis V. Frangos,
"Fractal Electrodynamics: Surfaces and Superlattices," Chapter 1 (pages 1-47)
in Frontiers in Electromagnetics, Douglas H. Werner and Raj
Mittra, eds., IEEE Press (2000)
- Douglas H. Werner, Pingjuan L. Werner, Dwight L. Jaggard,
Aaron D. Jaggard, Carles Puente, and Randy L. Haupt "The Theory and
Design of Fractal Antenna Arrays," Chapter 3 (pages 94-203) in Frontiers
in Electromagnetics, Douglas H. Werner and Raj Mittra, eds., IEEE
Press (2000)
Aaron D. Jaggard
DIMACS Center/CoRE Building/4th Floor
Rutgers University
96 Frelinghuysen Road
Piscataway, NJ 08854
Sunday, June 15, 2008 at 21:28