Sara Miner More

Publication Activity (10 Years)

Years Active: 2001-2012
Publications (10 Years): 0

Top Venues

ACM Trans. Comput. Log.

Publications

Sara Miner More, Pavel Naumov
Calculus of cooperation and game-based reasoning about protocol privacy. ACM Trans. Comput. Log. 13 (3) (2012)
Sara Miner More, Pavel Naumov, Benjamin Sapp
Concurrency Semantics for the Geiger-Paz-Pearl Axioms of Independence. CSL (2011)
Michael S. Donders, Sara Miner More, Pavel Naumov
Information Flow on Directed Acyclic Graphs. WoLLIC (2011)
Sara Miner More, Pavel Naumov, Brittany Nicholls, Andrew Yang
A ternary knowledge relation on secrets. TARK (2011)
Sara Miner More, Pavel Naumov
Logic of secrets in collaboration networks. Ann. Pure Appl. Log. 162 (12) (2011)
Sara Miner More, Pavel Naumov
Hypergraphs of multiparty secrets. Ann. Math. Artif. Intell. 62 (1-2) (2011)
Sara Miner More, Pavel Naumov
The Functional Dependence Relation on Hypergraphs of Secrets. CLIMA (2011)
Robert Kelvey, Sara Miner More, Pavel Naumov, Benjamin Sapp
Independence and Functional Dependence Relations on Secrets. KR (2010)
Sara Miner More, Pavel Naumov
An Independence Relation for Sets of Secrets. Stud Logica 94 (1) (2010)
Sara Miner More, Pavel Naumov
Hypergraphs of Multiparty Secrets. CLIMA (2010)
Sara Miner More, Pavel Naumov
Functional Dependence of Secrets in a Collaboration Network CoRR (2010)
Sara Miner More, Pavel Naumov
On interdependence of secrets in collaboration networks. TARK (2009)
Sara Miner More, Pavel Naumov
An Independence Relation for Sets of Secrets. WoLLIC (2009)
Sara Miner More, Tim Pevzner, Alin Deutsch, Scott B. Baden, Paul Kube
Building an XQuery interpreter in a compiler construction course. SIGCSE (2005)
Sara Miner More, Michael Malkin, Jessica Staddon, Dirk Balfanz
Sliding-window self-healing key distribution. SSRS@CCS (2003)
Russell Impagliazzo, Sara Miner More
Anonymous credentials with biometrically-enforced non-transferability. WPES (2003)
Tal Malkin, Daniele Micciancio, Sara Miner More
Composition and Efficiency Tradeoffs for Forward-Secure Digital Signatures. IACR Cryptol. ePrint Arch. 2001 (2001)