Publications (12)
Revisiting Security Vulnerabilities in Commercial Password Managers
Michael Carr, Siamak F. Shahandashti
In this work we analyse five popular commercial password managers for security vulnerabilities. Our analysis is twofold. First, we compile a list of previously disclosed vulnerabil…
Pseudograph associahedra
Michael Carr, Satyan L. Devadoss, Stefan Forcey
Given a simple graph G, the graph associahedron KG is a simple polytope whose face poset is based on the connected subgraphs of G. This paper defines and constructs graph associahe…
ECP SOLLVE: Validation and Verification Testsuite Status Update and Compiler Insight for OpenMP
Thomas Huber, Swaroop Pophale, Nolan Baker +9
The OpenMP language continues to evolve with every new specification release, as does the need to validate and verify the new features that have been introduced. With the release o…
Particle Configurations and Coxeter Operads
Suzanne M. Armstrong, Michael Carr, Satyan L. Devadoss +3
There exist natural generalizations of the real moduli space of Riemann spheres based on manipulations of Coxeter complexes. These novel spaces inherit a tiling by the graph-associ…
Coxeter Complexes and Graph-Associahedra
Michael Carr, Satyan L. Devadoss
Given a graph G, we construct a simple, convex polytope whose face poset is based on the connected subgraphs of G. This provides a natural generalization of the Stasheff associahed…
Visible camera cryostat design and performance for the SuMIRe Prime Focus Spectrograph (PFS)
Stephen A. Smee, James E. Gunn, Mirek Golebiowski +13
We describe the design and performance of the SuMIRe Prime Focus Spectrograph (PFS) visible camera cryostats. SuMIRe PFS is a massively multi-plexed ground-based spectrograph consi…