DEV Community 👩‍💻👨‍💻

Santiago Palladino profile picture

Santiago Palladino

Independent Ethereum developer. Councilmember at @graphprotocol. Mentor at @zeitgeistxyz. Formerly @OpenZeppelin, @manastech. Author of Ethereum for Web Developers book.

Education

Facultad de Ciencias Exactas y Naturales, Universidad de Buenos Aires

Work

Independent Ethereum developer

A look into formal verification of smart contracts using Certora

A look into formal verification of smart contracts using Certora

Reactions 5 Comments
12 min read

Want to connect with Santiago Palladino?

Create an account to connect with Santiago Palladino. You can also sign in below to proceed if you already have an account.

Already have an account? Sign in
Type-checking Lambda permissions with Typescript

Type-checking Lambda permissions with Typescript

Reactions 3 Comments
7 min read
A case for secure web3 operations

A case for secure web3 operations

Reactions 5 Comments
10 min read
Speed up your AWS SAM development by deploying individual functions

Speed up your AWS SAM development by deploying individual functions

Reactions 21 Comments
6 min read
Announcing Crystal CodeCamp SF2017

Announcing Crystal CodeCamp SF2017

Reactions 2 Comments
2 min read
State of Crystal at 0.21

State of Crystal at 0.21

Reactions 1 Comments
3 min read
loading...