CS Theory/Security Seminar

The Theory/Security discussion group/seminar meets weekly to discuss papers related to topics in theory and security. The goal is to encourage interactions and discussions between students, researchers, and faculty with interests in this area. The seminar is open to everyone interested in theory and security. Refreshments may be provided!

For Spring 2018, we will be meeting on Tuesdays at 11AM in FEC 3180/3150 (depending on availability and mediator preference). Any changes to this plan will be communicated through email. If you want to sign up to lead a discussion (or for any general queries), please subscribe to our mailing list by sending a message to listserv@list.unm.edu. Leave the Subject field blank. In the body of the message, type (with no other text): 

subscribe cssecrg-L Firstname Lastname


Note: No Seminar in Spring 2019!

Please refer to Dr. Saia’s class on Blockchains and Cryptocurrencies here!

Schedule (Fall 2018)

Date Room Paper Mediator
Aug 21 (10AM) FEC 3180 Oblivious RAM: A Dissection and Experimental Evaluation. Chang, Z., Xie, D., Li, F. (VLDB 2016) Abhinav Aggarwal
Sept 11 (11AM) FEC 3180 Robust De-anonymization of Large Sparse Datasets, Narayanan, A., Shmatikov, V. (Oakland 2008) Abhinav Aggarwal
Sept 18 – Nov 27 FEC 3180 Understanding Universal Composability (UC) Framework for Protocol Security (paper by Ran Canetti) Collaborative

Schedule (Spring 2018) 

Date Room Paper Mediator
Dec 4 (10AM) B19, Travelstead Hall Proof of Work without all the work, Gupta, D., Saia, J., Young, M. (ICDCN 2018) Diksha Gupta
Jan 22 (10AM) FEC 3180 Extending Binary Byzantine Agreement to Multivalued Byzantine Agreement, Turpin. R, Coan, B. (IPL 1984) Abhinav Aggarwal
Jan 29 (10:30AM) FEC 3150 Truthful and Near-Optimal Mechanisms for Welfare Maximization in Multi-Winner Elections, Bhaskar, U., Dani, V., Ghosh, A. (AAAI 2018) Varsha Dani
Feb 5 (10:30AM) FEC 3150 Public Key Cryptosystems from Lattice Reduction Problems, Goldreich, O., Goldwasser, S., Halevi, S. (CRYPTO 1997) José Abel Castellanos Joo
Feb 12 (10:30AM) FEC 3150  Step by Step Towards Creating a Safe Smart Contract: Lessons and Insights from a Cryptocurrency Lab, Delmolino, K., Arnett, M., Kosba, A., Miller, A., Shi, E. (BITCOIN 2016)  Arpit Garg 
Feb 19 FEC 3180  Scalable Rational Secret Sharing, Dani, V., Mohavedi, M., Rodriguez, Y., Saia, J. (PODC 2011, J. Dist. Comp. 2015) Diksha Gupta
Feb 26  FEC 3150  Talk Contd: Scalable Rational Secret Sharing Diksha Gupta
Mar 5 FEC 3150  The Complexity of Leader Election: A Chasm at Diameter Two, Chatterjee, S., Pandurangan, G., Robinson, P. (ICDCN 2018) Abhinav Aggarwal 
Mar 12  — — Spring Break —  —
Mar 19  FEC 3180  Randomized Rumor Spreading, Karp, R., Schindelhauer, C., Shenker, S., Vocking, B. (FOCS 2000) José Abel Castellanos Joo
Mar 26  FEC 3180  Kripke Semantics for Intuitionistic Logics José Abel Castellanos Joo
Apr 2  FEC 3180  The Toilet Paper Problem, Knuth, D.E. (The American Mathematical Monthly, 1984) Abhinav Aggarwal
Apr 9  FEC 3180  Methods for solving polynomial equations: Groebner basis and Resultants Deepak Kapur
Apr 16 FEC 3150 “Why Should I Trust You?” Explaining the Predictions of Any Classifier, Ribiero, M.T., Singh, S., Guestrin, C. (SIGKDD 2016) Cynthia Freeman
Apr 23  FEC 3180  Talk Contd: Methods for solving polynomial equations: Groebner basis and Resultants Deepak Kapur
Apr 30  FEC 3150  Distributed Computing Meets Game Theory: Robust Mechanisms for Rational Secret Sharing and Multiparty Computation, Abraham, I., Dolev, D., Gonen, R., Halpern, J. (PODC 2006) Diksha Gupta 
May 7  FEC 3150  Searching and Mining Trillions of Time Series Subsequences under Dynamic Time Warping, Rakthanmanon, T., Campana, B., Mueen, A., Batista, G., Westover, B., Zhu, Q., Zakaria, J., Keogh, E. (SIGKDD 2012)  Zeinab Akhavan 
May 14 (10AM)  FEC 3150  Possible Application of Set Cover for Proton Arc Therapy Shuang Luan