Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Marcella Hastings

dblp:189/1684 · DBLP profile ↗
← Back
3ranked-venue papers
2as first author
0since 2021 · last 2019
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Security and privacy · 2 · 1 first-authorComputer networks · 1 · 1 first-author

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Network and information security
3 papers
Cryptographic protocols and secure computation · 80% Network security · 15% Cryptographic primitives and cryptanalysis · 4%
Software engineering, system software, and programming languages
1 paper
Programming languages and type systems · 77% Compilers and program optimization · 23%

Topics — the 7 heaviest of 9, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Cryptographic protocols and secure computation › secure multiparty computation
MPC compiler
0.412019
SoK: General Purpose Compilers for Secure Multi-Party Computation · IEEE Symposium on Security and Privacy 2019
Cryptographic protocols and secure computation
secure multiparty computation
0.412019
SoK: General Purpose Compilers for Secure Multi-Party Computation · IEEE Symposium on Security and Privacy 2019
Programming languages and type systems
domain-specific languages
0.412019
SoK: General Purpose Compilers for Secure Multi-Party Computation · IEEE Symposium on Security and Privacy 2019
Cryptographic protocols and secure computation › key exchange
diffie-hellman key exchange
0.312017
Measuring small subgroup attacks against Diffie-Hellman · NDSS 2017
Cryptographic protocols and secure computation
key exchange
0.312017
Measuring small subgroup attacks against Diffie-Hellman · NDSS 2017
Compilers and program optimization
compiler toolchain
0.112019
SoK: General Purpose Compilers for Secure Multi-Party Computation · IEEE Symposium on Security and Privacy 2019
Cryptographic primitives and cryptanalysis
key generation
0.112016
Weak Keys Remain Widespread in Network Devices · Internet Measurement Conference 2016

Methods — techniques the papers use, named apart from their topics

secure multi-party computation protocols · 0.8measurement study · 0.3
YearPublicationVenuePosition
2019 SoK: General Purpose Compilers for Secure Multi-Party Computation
abstract
Secure multi-party computation (MPC) allows a group of mutually distrustful parties to compute a joint function on their inputs without revealing any information beyond the result of the computation. This type of computation is extremely powerful and has wide-ranging applications in academia, industry, and government. Protocols for secure computation have existed for decades, but only recently have general-purpose compilers for executing MPC on arbitrary functions been developed. These projects rapidly improved the state of the art, and began to make MPC accessible to non-expert users. However, the field is changing so rapidly that it is difficult even for experts to keep track of the varied capabilities of modern frameworks. In this work, we survey general-purpose compilers for secure multi-party computation. These tools provide high-level abstractions to describe arbitrary functions and execute secure computation protocols. We consider eleven systems: EMP-toolkit, Obliv-C, ObliVM, TinyGarble, SCALE-MAMBA (formerly SPDZ), Wysteria, Sharemind, PICCO, ABY, Frigate and CBMC-GC. We evaluate these systems on a range of criteria, including language expressibility, capabilities of the cryptographic back-end, and accessibility to developers. We advocate for improved documentation of MPC frameworks, standardization within the community, and make recommendations for future directions in compiler development. Installing and running these systems can be challenging, and for each system, we also provide a complete virtual environment (Docker container) with all the necessary dependencies to run the compiler and our example programs.
Marcella Hastings, Brett Hemenway, Daniel Noble, Steve Zdancewic
IEEE Symposium on Security and Privacy1
2017 Measuring small subgroup attacks against Diffie-Hellman
Luke Valenta, David Adrian, Antonio Sanso, Shaanan Cohney, Joshua Fried, Marcella Hastings, J. Alex Halderman, Nadia Heninger
NDSS6
2016 Weak Keys Remain Widespread in Network Devices
Marcella Hastings, Joshua Fried, Nadia Heninger
Internet Measurement Conference1