132 citations
- University of MichiganUS3 papers
- University of Southern MississippiUS3 papers
- National Institute of Standards and TechnologyUS2 papers
- Brookhaven National LaboratoryUS1 paper
- Carnegie Mellon UniversityUS1 paper
- Centre Inria de l'université de BordeauxFR1 paper
- Centre Inria de l'Université de LorraineFR1 paper
- Colgate UniversityUS1 paper
- Connecticut CollegeUS1 paper
- Dartmouth CollegeUS1 paper
- Howard UniversityUS1 paper
- Hungarian Academy of SciencesHU1 paper
Showing 2012Show all
2 papers · 1 filter
math.CO2012★ 4 cited
Periodic Rigidity on a Variable Torus Using Inductive Constructions
Anthony Nixon, Elissa Ross
In this paper we prove a recursive characterisation of generic rigidity for frameworks periodic with respect to a partially variable lattice. We follow the approach of modelling pe…
cs.CR2012★ 5 cited
Symbolic Protocol Analysis for Diffie-Hellman
Daniel J. Dougherty, Joshua D. Guttman
We extend symbolic protocol analysis to apply to protocols using Diffie-Hellman operations. Diffie-Hellman operations act on a cyclic group of prime order, together with an exponen…