Articles
Projects
About

Projects

Using CBMC to perform bounded model checking on the EVM.

Bounded Model Checking of Ethereum Smart Contracts

I built a multi-sensor LoRaWAN node with Matthew Wood that consists of a low-power STM32

Multi-Sensor LoRaWAN Node

Fraser Crossman