Jump to: Main Page | Combinatorics | Foundations of Networked Computing | Fractal Electrodynamics
Combinatorics
See also the homepage for my NSA-supported project on Parallels Between Families of Permutations
Collaborators
Andrew Baxter,
Joe Marincel
Papers and preprints
- Aaron D. Jaggard and Joseph J. Marincel, "Generating-tree isomorphisms for pattern-avoiding involutions," accepted for publication in Annals of Combinatorics. [Submitted version (14 pages, 01 December 2007)]
- 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
Foundations of Networked Computing
See also the homepage for the NSF-supported project on Mitigating Exploits of the Current Interdomain Routing Infrastructure (a collaborative project with Vijay Ramachandran and Rebecca Wright).
Collaborators
Michael Backes,
Bruno Blanchet,
Fred Butler,
Iliano Cervesato,
Joan Feigenbaum,
Sharon Goldberg,
Tim Griffin,
Shai Halevi,
Cathy Meadows,
Mike Mislove,
Vijay Ramachandran,
Jesse Rao,
Andre Scedrov,
Michael Schapira,
Roberto Segala,
Joe-Kai Tsay,
Chris Walstad,
Rebecca Wright,
Syeda Arzoo Zehra
Papers and Technical Reports
- Syeda Arzoo Zehra, Aaron D. Jaggard, and Rebecca N. Wright, "On Safe Route Redistribution: Improving the Sufficient Condition"
- Short version submitted
- DIMACS Technical Report 2009-17 in preparation
- Bruno Blanchet, Aaron D. Jaggard, Jesse Rao, Andre Scedrov, and Joe-Kai Tsay, "Refining Computationally Sound Mechanized Proofs for Kerberos"
- Abstract to be presented at FCC'09
- Joan Feigenbaum, Aaron D. Jaggard, and Michael Schapira,
"Approximate Privacy: Foundations and Quantification"
- Conference version submitted.
- DIMACS Technical Report 2009-14 [Version of 2009-05-16: abstract, 24-page pdf].
- Aaron D. Jaggard, Vijay Ramachandran, and Rebecca N. Wright, "The Impact of Communication Models on Routing-Algorithm Convergence"
- Sharon Goldberg, Shai Halevi, Aaron D. Jaggard, Vijay Ramachandran, and Rebecca N. Wright, "Rationality and Traffic Attraction: Incentives for Honest Path Announcements in BGP"
- Aaron D. Jaggard, Cathy Meadows, Michael Mislove, and Roberto Segala, "Task Probabilistic Input/Ouput Automata as Domains",
- 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
This extends the work presented in:
- Aaron D. Jaggard, Andre Scedrov, and Joe-Kai Tsay, "Computationally Sound Mechanized Proof of PKINIT for Kerberos,"
- Aaron D. Jaggard, Vijay Ramachandran, and Rebecca N. Wright, "Towards a Realistic Model of Incentives in Interdomain Routing: Decoupling Forwarding from Signaling"
- 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
- This work is related to Microsoft Security Bulletin MS05-042.
This extends preliminary work presented in:
- I. Cervesato, A. D. Jaggard, A. Scedrov, J.-K. Tsay, and C. Walstad, "Breaking and Fixing Public-Key Kerberos,"
- 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.
- 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]
- M. Backes, I. Cervesato, A. D. Jaggard, A. Scedrov, J.-K. Tsay, "Cryptographically Sound Security Proofs for Basic and Public-Key Kerberos,"
- ESORICS 2006
- Expanded version on Cryptology ePrint Archive: Report 2006/219
- 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,"
- 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
This extends preliminary work presented in:
- 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,"
- Fred Butler, Iliano Cervesato, Aaron D. Jaggard, and Andre Scedrov, "A formal analysis of some properties of Kerberos 5 using MSR,"
- 15th IEEE Computer Security Foundations Workshop, 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
Wednesday, June 17, 2009 at 23:01