People and topics related to Blockchain
People and topics related to Blockchain
lucas cordeiro
Lucas
Cordeiro
Program analysis
Program analysis
lucas cordeiro--Program analysis
Program synthesis
Program synthesis
lucas cordeiro--Program synthesis
Blockchain
Blockchain
lucas cordeiro--Blockchain
Robotics
Robotics
lucas cordeiro--Robotics
Unmanned aerial vehicles
Unmanned aerial vehicles
lucas cordeiro--Unmanned aerial vehicles
Software development security
Software development security
lucas cordeiro--Software development security
Satisfiability modulo theories
Satisfiability modulo theories
lucas cordeiro--Satisfiability modulo theories
bernardo magri
Bernardo
Magri
bernardo magri--Blockchain
Cryptography
Cryptography
bernardo magri--Cryptography
Cryptocurrencies
Cryptocurrencies
bernardo magri--Cryptocurrencies
Consensus
Consensus
bernardo magri--Consensus
Subversion of cryptographic primitives
Subversion of cryptographic primitives
bernardo magri--Subversion of cryptographic primitives
Public-key cryptography
Public-key cryptography
bernardo magri--Public-key cryptography