alexcere
Assistant Professor in CS at Complutense University of Madrid. Working with @costa-group on tools for analysis and optimization of Ethereum smart contracts
Complutense University of MadridMadrid, Spain
Pinned Repositories
computational_algebra
EthIR
A framework for high-level Analysis of Ethereum Bytecode
pywasm_gasol
A WebAssembly interpreter written in pure Python
SAT-Maude
Implementation of different strategies for SAT-Solvers using Maude 3.0
sfs-equivalence-dafny
Specification and verification of an algorithm to check equivalence for Stack Functional Specifications (SFS)
Syrup-Dash-Visualizer
tfm-mari-loli
A Dash aplication based on María Dolores Martínez Rodríguez Master Thesis: "Paisajes en zonas de tránsito. Orografía emocional de la vivienda".
z3
The Z3 Theorem Prover
z3_max_smt_experiments
gasol-optimizer
alexcere's Repositories
alexcere/sfs-equivalence-dafny
Specification and verification of an algorithm to check equivalence for Stack Functional Specifications (SFS)
alexcere/computational_algebra
alexcere/EthIR
A framework for high-level Analysis of Ethereum Bytecode
alexcere/pywasm_gasol
A WebAssembly interpreter written in pure Python
alexcere/SAT-Maude
Implementation of different strategies for SAT-Solvers using Maude 3.0
alexcere/Syrup-Dash-Visualizer
alexcere/tfm-mari-loli
A Dash aplication based on María Dolores Martínez Rodríguez Master Thesis: "Paisajes en zonas de tránsito. Orografía emocional de la vivienda".
alexcere/z3
The Z3 Theorem Prover
alexcere/z3_max_smt_experiments