18 citations · 23 across the 3 of their papers we have counts for
3 papers
Groundhog: Linearly-Scalable Smart Contracting via Commutative Transaction Semantics
Geoffrey Ramseyer, David Mazières
Groundhog is a novel design for a smart contract execution engine based around concurrent execution of blocks of transactions. Unlike prior work, transactions within a block in Gro…
Cryptographically Enforced Control Flow Integrity
Ali Jose Mashtizadeh, Andrea Bittau, David Mazieres +1
Recent Pwn2Own competitions have demonstrated the continued effectiveness of control hijacking attacks despite deployed countermeasures including stack canaries and ASLR. A powerfu…
Millions of Little Minions: Using Packets for Low Latency Network Programming and Visibility (Extended Version)
Vimalkumar Jeyakumar, Mohammad Alizadeh, Yilong Geng +2
This paper presents a practical approach to rapidly introduce new dataplane functionality into networks: End-hosts embed tiny programs into packets to actively query and manipulate…