Sara Miner More

According to our database, Sara Miner More authored at least 22 papers between 1999 and 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2012

Calculus of cooperation and game-based reasoning about protocol privacy.

Sara Miner More, Pavel Naumov

ACM Trans. Comput. Log., 2012

2011

Logic of secrets in collaboration networks.

Sara Miner More, Pavel Naumov

Ann. Pure Appl. Log., 2011

Hypergraphs of multiparty secrets.

Sara Miner More, Pavel Naumov

Ann. Math. Artif. Intell., 2011

Information Flow on Directed Acyclic Graphs.

Michael S. Donders, Sara Miner More, Pavel Naumov

Proceedings of the Logic, Language, Information and Computation, 2011

A ternary knowledge relation on secrets.

Sara Miner More, Pavel Naumov, Brittany Nicholls, Andrew Yang

Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2011), 2011

Concurrency Semantics for the Geiger-Paz-Pearl Axioms of Independence.

Sara Miner More, Pavel Naumov, Benjamin Sapp

Proceedings of the Computer Science Logic, 2011

The Functional Dependence Relation on Hypergraphs of Secrets.

Sara Miner More, Pavel Naumov

Proceedings of the Computational Logic in Multi-Agent Systems, 2011

2010

An Independence Relation for Sets of Secrets.

Sara Miner More, Pavel Naumov

Stud Logica, 2010

Functional Dependence of Secrets in a Collaboration Network

Sara Miner More, Pavel Naumov

CoRR, 2010

Independence and Functional Dependence Relations on Secrets.

Robert Kelvey, Sara Miner More, Pavel Naumov, Benjamin Sapp

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

2009

On interdependence of secrets in collaboration networks.

Sara Miner More, Pavel Naumov

Proceedings of the 12th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2009), 2009

2005

Building an XQuery interpreter in a compiler construction course.

Sara Miner More, Tim Pevzner, Alin Deutsch, Scott B. Baden, Paul Kube

Proceedings of the 36th SIGCSE Technical Symposium on Computer Science Education, 2005

2003

Anonymous credentials with biometrically-enforced non-transferability.

Russell Impagliazzo, Sara Miner More

Proceedings of the 2003 ACM Workshop on Privacy in the Electronic Society, 2003

Sliding-window self-healing key distribution.

Sara Miner More, Michael Malkin, Jessica Staddon, Dirk Balfanz

Proceedings of the 2003 ACM Workshop on Survivable and Self-Regenerative Systems, 2003

2002

Self-Healing Key Distribution with Revocation.

Jessica Staddon, Sara K. Miner, Matthew K. Franklin, Dirk Balfanz, Michael Malkin, Drew Dean

Proceedings of the 2002 IEEE Symposium on Security and Privacy, 2002

Efficient Generic Forward-Secure Signatures with an Unbounded Number Of Time Periods.

Tal Malkin, Daniele Micciancio, Sara K. Miner

Proceedings of the Advances in Cryptology - EUROCRYPT 2002, International Conference on the Theory and Applications of Cryptographic Techniques, Amsterdam, The Netherlands, April 28, 2002

2001

Composition and Efficiency Tradeoffs for Forward-Secure Digital Signatures.

Tal Malkin, Daniele Micciancio, Sara Miner More

IACR Cryptol. ePrint Arch., 2001

Forward-Secure Threshold Signature Schemes.

Michel Abdalla, Sara K. Miner, Chanathip Namprempre

Proceedings of the Topics in Cryptology, 2001

2000

Graph-Based Authentication of Digital Streams.

Sara K. Miner, Jessica Staddon

IACR Cryptol. ePrint Arch., 2000

Concrete Security Characterizations of PRFs and PRPs: Reductions and Applications.

Anand Desai, Sara K. Miner

IACR Cryptol. ePrint Arch., 2000

Forward Security in Threshold Signature Schemes.

Michel Abdalla, Sara K. Miner, Chanathip Namprempre

IACR Cryptol. ePrint Arch., 2000

1999

A forward-secure digital signature scheme.

Mihir Bellare, Sara K. Miner

IACR Cryptol. ePrint Arch., 1999