Personal information

Websites & social links

Personal work page

Keywords

Security, Trusted Computing, Software Engineering, Verification

Activities

Collapse all

Employment (1)

Imperial College London: London, London, GB

2012-08-01 to present | Professor in Computer Science (Computing)
Employment
Source: Self-asserted source
Michael Huth

Education and qualifications (1)

Tulane University: New Orleans, LA, US

1988-08-08 to 1991-05-11 | PhD (Mathematics)
Education
Source: Self-asserted source
Michael Huth

Works (4)

An overview of blockchain science and engineering

Royal Society Open Science
2020-06 | Journal article
DOI: 10.1098/rsos.200168
Contributors: Ghassan Karame; Michael Huth; Claire Vishik
Source: check_circle
Crossref

The Merits of Compositional Abstraction: A Case Study in Propositional Logic

2019 | Book chapter
DOI: 10.1007/978-3-030-22348-9_18
Contributors: Michael Huth
Source: check_circle
Crossref

Optimal Accuracy-Privacy Trade-Off for Secure Computations

IEEE Transactions on Information Theory
2019-05 | Journal article
DOI: 10.1109/TIT.2018.2886458
Contributors: Patrick Ah-Fat; Michael Huth
Source: check_circle
Crossref

Satisfiability modulo theories for process systems engineering

Computers & Chemical Engineering
2018-05 | Journal article
DOI: 10.1016/j.compchemeng.2018.03.004
Contributors: Miten Mistry; Andrea Callia D’Iddio; Michael Huth; Ruth Misener
Source: check_circle
Crossref
How many people are using ORCID?