19 citations · 29 across the 4 of their papers we have counts for
5 papers
The Future of Safety for SaMD
Rhea Malhotra, Tanya Sharma, Krisha Patel +7
An artificial organ carries failure consequences on the scale of an aircraft or a reactor, but the software driving it is rarely held to the same standard. Teams building them rely…
A Rust-to-Lean Verification Pipeline with AI Provers: An Experience Report
Natalia Klaus, Juan Conejero, Palina Tolmach
We describe a verification pipeline that takes production Rust cryptographic code and produces machine-checked correctness proofs in Lean 4. The pipeline combines three components:…
Formal Analysis of Composable DeFi Protocols
Palina Tolmach, Yi Li, Shang-Wei Lin +1
Decentralized finance (DeFi) has become one of the most successful applications of blockchain and smart contracts. The DeFi ecosystem enables a wide range of crypto-financial activ…
Fair and accurate age prediction using distribution aware data curation and augmentation
Yushi Cao, David Berend, Palina Tolmach +5
Deep learning-based facial recognition systems have experienced increased media attention due to exhibiting unfair behavior. Large enterprises, such as IBM, shut down their facial…
A Survey of Smart Contract Formal Specification and Verification
Palina Tolmach, Yi Li, Shang-Wei Lin +2
A smart contract is a computer program which allows users to automate their actions on the blockchain platform. Given the significance of smart contracts in supporting important ac…