Sort by:

• Highly Influential Citations
• Citations
• Acceleration
• Velocity
• Recency

Learn More

(Short Paper): PieceWork: Generalized Outsourcing Control for Proofs of Work

• Philip Daian, Ittay Eyal, Ari Juels, Emin Gün Sirer
• 2017

Most prominent cryptocurrencies utilize proof of work (PoW) to secure their operation, yet PoW suffers from two key undesirable properties. First, the work done is generally wasted, not useful for anything but the gleaned security of the cryptocurrency. Second, PoW is naturally outsourceable, leading to inegalitarian concentration of power in the hands of… (More)

RV-Android: Efficient Parametric Android Runtime Verification, a Brief Tutorial

• Philip Daian, Yliès Falcone, +4 authors Grigore Rosu
• RV
• 2015

Current Position Education Teaching and Advising Courses

• Ari Juels, Kyle Croman, +4 authors Daniel Reidler
• 2016

Runtime Verification at Work: A Tutorial

• Philip Daian, Dwight Guth, +5 authors Grigore Rosu
• RV
• 2016

We present a suite of runtime verification tools developed by Runtime Verification Inc.: RV-Match, RV-Predict, and RV-Monitor. RV-Match is a tool for checking C programs for undefined behavior and other common programmer mistakes. It is extracted from the most complete formal semantics of the C11 language and beats many similar tools in its ability to catch… (More)

• ‹
• 1
• ›