John Clemens

Runtime State Verification on Resource-Constrained Platforms

John Clemens, Raj Pal, Branden Sherrell, 2018, MILCOM 2018 - 2018 IEEE Military Communications Conference (MILCOM).

Poster Abstract: Extending Trust and Attestation to the Edge

Paul Philip, John Clemens, Raj Pal, 2016, 2016 IEEE/ACM Symposium on Edge Computing (SEC).

Maat: A Platform Service for Measurement and Attestation pdf

J. Aaron Pendergrass, John Clemens, Peter Loscocco, 2017, ArXiv.

Runtime Detection of Userspace Implants

J. Aaron Pendergrass, Mark Thober, Machon Gregory, 2019, MILCOM 2019 - 2019 IEEE Military Communications Conference (MILCOM).

Learning Device Models with Recurrent Neural Networks

John Clemens, John Clemens, 2018, 2018 International Joint Conference on Neural Networks (IJCNN).

Automatic classification of object code using machine learning pdf

John Clemens, 2015, Digit. Investig..

On the classification of vertex-transitive structures

Samuel Coskey, John Clemens, Stephanie Potter, 2017, Arch. Math. Log..

The classification of countable models of set theory

Samuel Coskey, John Clemens, Samuel Dworetzky, 2017, Math. Log. Q..

A Platform Service for Remote Integrity Measurement and Attestation

John Clemens, Peter Loscocco, Sarah Helble, 2018, MILCOM 2018 - 2018 IEEE Military Communications Conference (MILCOM).