AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
David Sanán

David Sanán

Singapore Institute of Technology - Dover / Singapore
Others
AD Scientific Index ID: 4631475
Institut Teknologi Singapura
person_outline David Sanán's MOST POPULAR ARTICLES
1-) Semantic understanding of smart contracts: Executable operational semantics of solidity 2020 IEEE Symposium on Security and Privacy (SP), 1695-1712, 2020
2-) Csimpl: A rely-guarantee-based framework for verifying concurrent programs International Conference on Tools and Algorithms for the Construction and …, 2017
3-) An executable formalisation of the SPARCv8 instruction set architecture: a case study for the LEON3 processor International Symposium on Formal Methods, 388-405, 2016
4-) CANeleon: Protecting CAN Bus With Frame ID Chameleon IEEE Transactions on Vehicular technology 69 (7), 7116-7130, 2020
5-) Model checking dynamic memory allocation in operating systems Journal of Automated Reasoning 42 (2), 229-264, 2009