John C. Mitchell | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Caroline Trippel
13 publications
Oded Padon
13 publications
Yoni Zohar
12 publications
Hamed Nemati
8 publications
Shaz Qadeer
7 publications
David L. Dill
5 publications
Sam Blackshear
3 publications
Nicholas Mosier
2 publications
Jenny Han
2 publications
Maxwell Bigman
1 publication
Max DiGiacomo-Castillo
1 publication

research

∙ 09/11/2023

Serberus: Protecting Cryptographic Code from Spectres at Compile-Time

We present Serberus, the first comprehensive mitigation for hardening co...

0 Nicholas Mosier, et al. ∙

research

∙ 03/17/2022

Insights for post-pandemic pedagogy across one CS department

Adaptive remote instruction has led to important lessons for the future,...

0 Maxwell Bigman, et al. ∙

research

∙ 07/16/2020

Model Checking Bitcoin and other Proof-of-Work Consensus Protocols

The Bitcoin Backbone Protocol [GKL15] is an abstraction of the bitcoin p...

0 Max DiGiacomo-Castillo, et al. ∙

research

∙ 04/10/2020

Resources: A Safe Language Abstraction for Money

Smart contracts are programs that implement potentially sophisticated tr...

0 Sam Blackshear, et al. ∙