Papers and preprints

1. Aaron D. Jaggard, "An almost-bijective proof of an asymptotic property of partitions," Random Structures & Algorithms, to appear. doi:10.1002/rsa.20180
2. Aaron D. Jaggard, "Subsequence containment by involutions," Electronic Journal of Combinatorics 12 (1), 2005 #R14, 15 pages.
3. Aaron D. Jaggard, "Prefix exchanging and pattern avoidance by involutions," Electronic Journal of Combinatorics 9 (2), 2003 #R16, 24 pages.

Combinatorics Links

Conferences

• Retrospectives in Combinatorics (Richard Stanley's birthday conference)
• FPSAC 2004
• FPSAC 2005
• Haifa Workshop on permutation patterns (May 2005)
• PP05 (Permutation Patterns 2005)
• PP04 (Permutation Patterns 2004)
• Conference on Permutation Patterns, 10--14 February, 2003, in Dunedin, NZ

Other resources

• Combinatorics papers from the math arXiv.
• The On-Line Encyclopedia of Integer Sequences
• The Penn Combinatorics Seminar
• The Electronic Journal of Combinatorics
• Séminaire Lotharingien de Combinatoire
• The Journal of Integer Sequences
• The list of home pages of combinatorial people at the Elec. J. Comb.
• The Budapest Semesters in Mathematics homepage. (Not really research related, but my semester there was my introduction to combinatorics.)

Papers and Technical Reports

1. Aaron D. Jaggard and Vijay Ramachandran, "Robust Path-Vector Routing Despite Inconsistent Route Preferences,"
   • Proceedings of IEEE ICNP 2006 (Santa Barbara, USA, November 2006)
2. Aaron D. Jaggard and Vijay Ramachandran, "Robustness of Path-Vector Protocols without Independent Route Ranking,"
   
   • (Extended version of ICNP 2006 paper) Yale CS Technical Report 1314 [.pdf]
3. 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]
4. 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)
5. 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)
6. Timothy G. Griffin, Aaron D. Jaggard, and Vijay Ramachandran, "Design Principles of Policy Languages for Path Vector Protocols,"
   
   • Proceedings of SIGCOMM 2003 (.pdf) (Karlsruhe, Germany, August 2003)
   • (Extended version) Yale CS Technical Report 1250 (26 pages, April 2004) [.pdf] [.ps]

Links

• The Office of Naval Research
• The SPYCE Project homepage


• IEEE INFOCOM 2005 (13-17 March 2005)
• ICNP 2004 (5-8 October 2004)
• ACM SIGCOMM 2003, 25-29 August in Karlsruhe, Germany

Papers and Technical Reports

1. Aaron D. Jaggard, Andre Scedrov, and Joe-Kai Tsay, "Computationally Sound Mechanized Proof of PKINIT for Kerberos," presented at FCC'07.
2. M. Backes, I. Cervesato, A. D. Jaggard, A. Scedrov, J.-K. Tsay, "Cryptographically Sound Security Proofs for Basic and Public-Key Kerberos," ESORICS 2006.
3. 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
4. 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.
5. 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]
6. 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]
7. 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] [.ps.gz]
8. 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] [.ps.gz]

Links

• The Office of Naval Research
• The SPYCE Project homepage


• IETF 63 (31 July-05 August 2005)
• WITS 05 (10-11 January 2005)
• Classical and Quantum Information Security Workshop at Caltech (15-18 December 2005).
• DIMACS Workshop on Security Analysis of Protocols (7-9 June 2004).
• The 15th Computer Security Foundations Workshop (CSFW)
  
  

Papers

1. D. L. Jaggard and A. D. Jaggard, ``Fractal Ring Arrays,'' Wave Motion (Special Issue: Electrodynamics in Complex Environments). 34 281-299 (2001).
2. A. D. Jaggard and D. L. Jaggard, ``Cantor Ring Diffractals,'' Optics Comm. 158, 141-148 (1998).
3. D. L. Jaggard and A. D. Jaggard, ``Cantor Ring Arrays,'' Microwave and Optical Technology Letters 19, 121-125 (1998).
4. A. D. Jaggard and D. L. Jaggard, ``Scattering from Fractal Superlattices with Variable Lacunarity,'' J. Opt. Soc. Am. A 15, 1626-1635 (1998)
5. D. L. Jaggard and A. D. Jaggard, ``Polyadic Cantor Superlattices with Variable Lacunarity,'' Opt. Lett. 22, 145-147 (1997)

Book Chapters

1. 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)
2. 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)

Fractal Links

• Fractals in Engineering 1999 14-16 June in Delft, The Netherlands.

Saturday, January 27, 2007 at 23:43