219 citations · 300 across the 3 of their papers we have counts for
3 papers
Towards making formal methods normal: meeting developers where they are
Alastair Reid, Luke Church, Shaked Flur +3
Formal verification of software is a bit of a niche activity: it is only applied to the most safety-critical or security-critical software and it is typically only performed by spe…
Toward Trustworthy AI Development: Mechanisms for Supporting Verifiable Claims
Miles Brundage, Shahar Avin, Jasmine Wang +56
With the recent wave of progress in artificial intelligence (AI) has come a growing awareness of the large-scale impacts of AI systems, and recognition that existing regulations an…
Efficient Gossip Protocols for Verifying the Consistency of Certificate Logs
Laurent Chuat, Pawel Szalachowski, Adrian Perrig +2
The level of trust accorded to certification authorities has been decreasing over the last few years as several cases of misbehavior and compromise have been observed. Log-based ap…