Benjamin Aziz

Engineering Secure Internet of Things Systems

Formal Analysis by Abstract Interpretation