Dynamic Measurement and Protected Execution: Model and Analysis. - Shiwei Xu; Ian Batten; Mark Ryan 001 (TGC, 2013)

Trusted execution: applications and verification. - Ian Batten (2016)

Real-Time Polyphonic Pitch Detection on Acoustic Musical Signals. - Thomas A. Goodman; Ian Batten (ISSPIT, 2018)