payman's picture


Payman Mohassel


Assistant Professor
Email : pmohasse at cpsc dot ucalgary dot ca
Phone : (403) 210 6105
642 ICT Building
Department of Computer Science
University of Calgary
Calgary, AB, Canada
[About Me] [Research] [Google Scholar] [Activities] [Teaching] [Students/Visitors] [Prospective Students]



What's New
with Ben Riva.
Garbled Circuits Checking Garbled Circuits: More Efficient and Secure Two-Party Computation.
To Appear in CRYPTO 2013. [eprint archive]
with Salman Niksefat, Babak Sadeghiyan, and Saeed Sadeghian
ZIDS: A Privacy-Preserving Intrusion Detection System Using Secure Two-Party Computation Protocols.
The Computer Journal, 2013; doi: 10.1093/comjnl/bxt019. [PDF]
with Saeed Sadeghian
How to Hide Circuits in MPC: An Efficienct Framework for Private Function Evaluation.[Full Version]
To Appear in Advances in Cryptology, EUROCRYPT 2013.
with Salman Niksefat and Babak Sadeghiyan
Oblivious Decision Program Evaluation.
IET Information Security, 2013, doi: 10.1049/iet-ifs.2012.0032.
with Ozgur Dagdelen and Daniele Venturi
Rate-limited Secure Function Evaluation: Definitions and Constructions.
In Proceedings of Public-key Cryptography Conference, PKC 2013. [Full Version]
We are organizing ACNS 2013 in Banff!!. Please contribute!
with Dana Dachman-Soled and George Fuchsbauer and Adam O'Neill
Enhance Chosen-Ciphertext Security and Applications. [eprint archive]

About Me
I am an assistant professor in the Department of Computer Science at University of Calgary. My research interests are in information security, cryptography, and privacy enhancing technologies. I am also a member of the Institute for Security, Privacy and Information Security (ISPIA) at U of C. I received my Ph.D. from UC Davis, in 2009 under the supervision of Matthew Franklin. I have been a visiting researcher or an intern at a number of places such as Microsoft Research, Redmond (August 2011, October 2010), Sun Microsystems (Summer 2008), Google Inc. (Summer 2007), and UCLA's IPAM (Fall 2006).



Research
My research interests are in information security, cryptography, and privacy enhancing technologies. Below is a topic-based summary of a subset of my research work. See here for a full publication list in chronological order.

Practical Secure Computation. Secure multiparty computation (MPC) allows a set of mutually distrustful parties to compute a function of their joint inputs without revealing additional information. MPC can be thought of as a family of privacy enhancing technologies with numerous potential applications: traditional ones such as e-voting, auctions, and data-mining and less conventional ones such as genomic computation and location-based services. Anytime one needs to mine, analyze, or otherwise compute on sensitive data, and is looking for a privacy-preserving solution, one should seriously explore the use of secure MPC. Making MPC practical is a major component of my research. Most of my work on this topic falls into the following three categories:
  • General-purpose MPC : An important direction is to look at secure computation for functions with efficient representation in standard models of computation. For example, I have designed secure MPC for Boolean circuits [PKC '06, GMS '08, GC13], finite automaton [CT-RSA '12], and branching programs [FC '12]. We are actively working on implementing these protocols, improving their efficiency, and applying them to different problems. For example, in [ CJN '13] we use improved variants our oblivious finite automaton evaluation protocol to implement ZIDS, a system for privacy-preserving intrusion detection (also see my talk video).

    Very recently [EC '13], we also designed a general and efficient framework for transforming general-purpose MPC protocols into general-purpose private function evaluation (PFE) where the function being computed is also hidden. The framework yields the most efficient PFE protocols to date, in a variety of settings.


  • Special-purpose MPC : Sometimes you can improve efficiency by focusing on specific problems. You can take advantage of the existing algorithmic ideas and the particular structure of the problem and its inputs to obtain more practical solutions. For example, I have looked at secure computation of Linear Algebra problems [TCC '07, CRYPTO '08] (talk video), Genomic computation [CT-RSA '09][WPES '09], Stable matching [CT-RSA '07], and more.


  • New Realistic Security Models: The traditional security requirements for MPC are sometimes too stringent. This is a major cause of inefficiency. Devising reasonable relaxations according to real-world considerations is critical for making MPC practical. I explore a variety of such models such as MPC with leakage [PKC '06] which allows limited leakage of information, security against covert adversaries [GMS '08] which leverages the costliness of getting caught in the real world (legally and financially), and more recently, a server-aided model for MPC motivated by the growth of cloud computing services: initiated in [ePrint '11], and optimized and implemented in [CCS '12]. More recently, in [GC13] we considered a natural combination of covert MPC and MPC with leakage, providing better security/efficiency tradeoffs to protocol designer, and in [PKC '13] we provide definitions for enforcing particular properties across multiple executions of an MPC protocol.


Encryption and Signatures Schemes. I also study security and efficiency of encryption schemes and digital signatures. For example, achieving anonymity and robustness in IBE and PKE schemes [AC '10], designing efficient one-time signatures [SAC '10], and exploring minimal assumptions and efficient constructions for CCA-secure PKE [ EC '10].

Teaching
Foundations of Modern Cryptography (CPSC 601.48) : Winter 2010, Winter 2011, Fall 2011, Winter 2013
Networked Systems Security (CPSC 626/526) :Winter 2010, Winter 2011, Winter 2012, Winer 2013
Explorations in Information Security (CPSC 329) : Winter 2011, Winter 2012
Introduction to Computer Science for Majors II (CPSC 233): Fall 2012, Fall 2013


Students/Visitors
Students
Akshaya Mani, BSc. (May. 2013 - present)

Ostap Orobets, MSc. (Jan. 2013 - present)

Negin Karimian, MSc. (Sept 2012 - present)

Saeed Sadeghian, Ph.D. (Sept 2011 - present)

Greg Lewis , Undergrad (Jan. 2011 - Dec. 2011)
Research: Fingerprinting attacks against anonymizing networks.

Masoud Barati , MSc. (Sept. 2009 - Nov. 2011)
Thesis: Learning Decision Trees Through Black-Box Queries.

Visitors
Seny Kamara (March 2012, 1 wk)

Salman Niksefat , visiting PhD (April 2011 - Dec. 2011)
Research: Privacy-preserving computation for pattern matching, IDS and more.

Adam O'Neill ( July 2010, 1wk)



Activities
General Co-chair:
ACNS, 2013
Program Committees: (submit good papers!)
ICICS, 2013
INSCRYPT, 2012
INDOCRYPT, 2011
ASIACRYPT, 2011
ASIACRYPT, 2010
ACM WPES, 2010

Recent and Upcoming Talks:
FC 2012. (Talk PPT). Bonaire, February, 2012
CANS 2011. (Talk PPT). Sanya, China, December 10-12, 2011
Cryptography Group, Microsoft Research. Oblivious Automata Evaluation and Its Applications. (Talk Video). Redmond, August 30, 2011
Asiacrypt, 2010. (Talk PPT). Singapore, Dec 5-9, 2010
Selected Areas of Cryptography. (Talk PDF). Waterloo, Canada, August 11-13, 2010
Applied Cryptography and Network Security Conference (Talk PPT). Beijing, China, June 22-25, 2010
Workshop on Computer Security and Cryptography (Talk PDF). Montreal, Canada, April 12-16, 2010
UofC Theory Seminar (Talk PDF). Calgary, Canada, Jan 22, 2010


Publication List
The following is a chronological list of most of my publications. Presentation slides are made available in cases when I gave the talks. Also see my Google Scholar Profile.


with Ben Riva.
Garbled Circuits Checking Garbled Circuits: More Efficient and Secure Two-Party Computation.
To Appear in CRYPTO 2013. [
eprint archive]
with Isheeta Nargis and Wayne Eberly.
Efficient Multiparty Computation for Arithmetic Circuits against a Covert Majority.
To Appear in AFRICACRYPT 2013.
with Saeed Sadeghian
How to Hide Circuits in MPC: An Efficient Framework for Private Function Evaluation.[
Full Version]
To Appear in Advances in Cryptology, EUROCRYPT 2013.
with Salman Niksefat, Babak Sadeghiyan, and Saeed Sadeghian
ZIDS: A Privacy-Preserving Intrusion Detection System Using Secure Two-Party Computation Protocols
The Computer Journal, 2013; doi: 10.1093/comjnl/bxt019. [PDF]
with Ozgur Dagdelen and Daniele Venturi
Rate-limited Secure Function Evaluation: Definitions and Constructions.
To Appear in Public-Key Cryptography Conference, PKC 2013. [
Full Version]
with Salman Niksefat and Babak Sadeghiyan
Oblivious Decision Program Evaluation.
IET Information Security, 2013, doi: 10.1049/iet-ifs.2012.0032.
with Dana Dachman-Soled and George Fuchsbauer and Adam O'Neill
Enhance Chosen-Ciphertext Security and Applications. [eprint archive]

with Seny Kamara and Ben Riva
Salus: A System for Server-Aided Secure Function Evaluation. [Full Version]
ACM Computer and Communications Security Conference, ACM CCS 2012.
Efficient and Secure Delegation of Linear Algebra. [eprint archive]

with Salman Niksefat
Oblivious Decision Programs from Oblivious Transfer: Efficient Reductions. [Proceedings PDF][Talk PPT]
Financial Cryptography and Data Security, FC 2012.
with Salman Niksefat, Saeed Sadeghian, and Babak Sadeghiyan
An Efficient Protocol for Oblivious DFA Evaluation and Applications. [Eprint PDF][Talk video]
RSA Conference, The Cryptographer's Track, CT-RSA 2012.
with Seny Kamara, and Mariana Raykova
Outsourcing Multiparty Computation. eprint archive

Fast Computation On Encrypted Polynomials and Applications. [Proceedings PDF][Talk PPT]
International Conference on Cryptography and Network Security, CANS 2011 .
A Closer Look at Anonymity and Robustness in Encryption Schemes. [PDF][Talk PPT]
Advances in Cryptology, ASIACRYPT 2010 .

One-time Signatures and Chameleon Hash Functions. [PDF][Talk PDF]
Selected Areas in Cryptography, SAC 2010 .

with Matthew Franklin
Secure and Efficient Evaluation of Multivariate Polynomials and Applications. [Proceedings PDF][Talk PPT]
Applied Cryptography and Network Security Conference, ACNS 2010 .
with Eike Kiltz and Adam O'Neill.
Adaptive Trapdoor Functions and Chosen Ciphertext Security. [Prceedings PDF]
Advances in Cryptology, EUROCRYPT 2010 .
with Mark Gondree.
Longest Common Subsequence as Private Search. [Full version PDF] [Talk PPT \PDF]
Workshop on Privacy in the Electronic Society, ACM WPES 2009 .
with Matthew Franklin and Mark Gondree.
Communication-Efficient Private Protocols for Longest Common Subsequence. [Full Version PDF]
RSA Conference, Cryptographer's Track, CT-RSA 2009 .
with Enav Weinreb.
Efficient Secure Linear Algebra In Presence of Covert or Computationally Unbounded Adversaries. [Proceedings PDF][Talk PPT][Talk Video]
Advances in Cryptology, CRYPTO 2008 .
with Vipul Goyal and Adam Smith.
Secure Two-party and Multi-party Computation against Covert Adversaries. [Proceedings PDF][Talk PPT \PDF]
Advances in Cryptology, EUROCRYPT 2008 .
with Mark Gondree and Matthew Franklin.
Multiparty Indirect Indexing and Applications. [ Full Version PDF]
Advances in Cryptology, ASIACRYPT 2007 .
with Nenad Dedic.
Constant-Round Private Database Queries . [PDF][Talk PPT]
International Colloquium on Automata, Languages and Programming, ICALP 2007 .
with Eike Kiltz and Enav Weinreb and Matthew Franklin.
Secure Linear Algebra Using Linearly Recurrent Sequences. [PDF]
Theory of Cryptography Conference, TCC 2007 .
with Matthew Franklin and Mark Gondree.
Improved Efficiency for Private Stable Matching. [Full Version][Talk PPT]
RSA Conference, Cryptographer's Track, CT-RSA 2007 .
with Matthew Franklin.
Efficiency Tradeoffs for Malicious Two-Party Computation. [PDF \ PS][TalkPDF]
Public Key Cryptography Conference PKC 2006 .
with Matthew Franklin.
Efficient Polynomial Operations in the Shared-Coefficients Setting. [PDF \ PS][Talk PDF]
Public Key Cryptography Conference, PKC 2006 .
with Gergei Bana and Till Stegers.
Computational Soundness of Formal Indistinguishability and Static Equivalence. [Full Version PDF]
11th Annual Asian Computing Conference, ASIAN 2006 .







Graduate Students

I am looking for new graduate students. In case of PhD students, I almost strictly require previous experience in cryptography, and an interest in both theoretical and practical aspects of the field. Please take a look at my research interests, and publications to determine if your research experience and interest has some overlap with mine. After doing so, feel free to contact me to. Make sure to include a CV, your TOEFL/IELTS score (for international students), and an unofficial copy of your transcripts.

In general, if you are interested in working with me, you need to put my name in your application form. Otherwise, it is likely that I won't get to see your application. You can find all the necessary information related to the admission process here.

Undergraduate Students

University of Calgary undergraduate students who are interested in getting involved with research related to cryptography and/or information security are encouraged to contact me for more information. Also see here and here for detailed information on how to earn credit for doing undergraduate research.