I’m an Associate Teaching Professor in the Department of Computer Science at Johns Hopkins University, and as of July 2019, I’m serving as the Director of Gateway Computing. In 2016, I was awarded the Robert B. Pond, Sr. Excellence in Teaching Award. Prior to joining JHU in July 2014, I was an Associate Professor in the Mathematics and Computer Science Department at McDaniel College. I earned my Ph.D. in Computer Science at the University of California, San Diego (UCSD).
Spring 2020 Office Hours in Malone Hall 221:
and by appointment.
Spring 2020 Courses:
EN.500.112 Gateway Computing: Java
All Courses Taught at JHU:
EN.500.112 Gateway Computing: Java
EN.601.107 (was 600.107) Introductory Programming in Java
EN.601.108 (was 600.108) Introduction to Programming Lab
EN.601.220 (was 600.120) Intermediate Programming
EN.601.226 (was 600.226) Data Structures
EN.601.231 (was 600.271) Automata and Computation Theory
A Forward-Secure Digital Signature Scheme.
M. Bellare and S. Miner. CRYPTO ’99.
Concrete Security Characterizations of PRFs and PRPs: Reductions and Applications.
A. Desai and S. Miner. Asiacrypt 2000.
Forward-Secure Threshold Signature Schemes.
M. Abdalla, S. Miner and C. Namprempre. RSA Conference 2001, Cryptographers’ Track.
Graph-Based Authentication of Digital Streams.
S. Miner and J. Staddon. IEEE Symposium on Security and Privacy 2001.
Efficient Generic Forward-Secure Signatures with an Unbounded Number of Time Periods.
T. Malkin, D. Micciancio and S. Miner. Eurocrypt 2002.
Self-Healing Key Distribution with Revocation.
J. Staddon, S. Miner, M. Franklin, D. Balfanz, M. Malkin and D. Dean. IEEE Symposium on Security and Privacy 2002.
Anonymous Credentials with Biometrically-Enforced Non-Transferability.
R. Impagliazzo and S. Miner More. 2003 ACM Workshop on Privacy in the Electronic Society.
Sliding-Window Self-Healing Key Distribution.
S. Miner More, M. Malkin, J. Staddon and D. Balfanz. 2003 ACM Workshop on Survivable and Self-Regenerative Systems.
Building an XQuery Interpreter in a Compiler Construction Course.
S. Miner More, T. Pevzner, A. Deutsch, S. Baden and P. Kube. SIGCSE 2005 Technical Symposium on Computer Science Education, February 2005.
On Interdependence of Secrets in Collaboration Networks.
S. Miner More and P. Naumov. Theoretical Aspects of Rationality and Knowledge XII (TARK 2009), July 2009.
An Independence Relation for Sets of Secrets.
S. Miner More and P. Naumov. Studia Logica volume 94, issue 1, pages 73-85 (February 2010). An initial version appeared in 16th Workshop on Logic, Language, Information and Computation (WoLLIC 2009), June 2009.
Independence and Functional Dependence Relations on Secrets.
R. Kelvey, S. Miner More, P. Naumov and B. Sapp. Twelfth International Conference on the Principles of Knowledge Representation and Reasoning (KR 2010), May 2010.
Hypergraphs of Multiparty Secrets.
S. Miner More and P. Naumov. Annals of Mathematics and Artificial Intelligence, 62 (1-2), pp 79-101, June 2011. An initial version appeared in the 11th International Workshop on Computational Logic in Multi- Agent Systems (CLIMA XI), August 2010.
Information Flow on Directed Acyclic Graphs.
M. Donders, S. Miner More and P. Naumov. 18th Workshop on Logic, Language, Information and Computation (WoLLIC 2011), May 2011.
Functional Dependence on Hypergraphs of Multiparty Secrets.
S. Miner More and P. Naumov. 12th International Workshop on Computational Logic in Multi- Agent Systems (CLIMA XII), LCNS Volume 6814, pp 29-40, July 2011.
A Ternary Knowledge Relation on Secrets.
S. Miner More, P. Naumov, B. Nicholls and A. Yang. 13th Conference on Theoretical Aspects of Rationality and Knowledge XIII (TARK 2011), pp. 46-54, July 2011.
Concurrency Semantics for the Geiger-Paz-Pearl Axioms of Independence.
S. Miner More, P. Naumov and B. Sapp. Proceedings of 20th Conference on Computer Science Logic (CSL 2011), pp. 443-457, August 2011.
Logic of Secrets in Collaboration Networks.
S. Miner More and P. Naumov. Annals of Pure and Applied Logic, 162 (12), pp. 959–969, December 2011.
Calculus of Cooperation and Game-Based Reasoning about Protocol Privacy.
S. Miner More and P. Naumov. ACM Transactions on Computational Logic (ToCL) 13(3), Article 22, August 2012.
Rethinking the Gateway Computing Curriculum Across Engineering Disciplines.
M. Reese, M. Falk, J. Selinski, S. Miner More, A. Darvish, I. Sekyonda, A. Brusini, A. Magana, A. Ibrahim, N. Graham and P. Huckett. Proceedings of the 126th ASEE Annual Conference, June 2019.