AccelKey Selection Method for Mobile Devices - Vadim Zaliva (CoRR, 2007)

Platform-Independent Firewall Policy Representation - Vadim Zaliva (CoRR, 2008)

Applying static code analysis to firewall policies for the purpose of anomaly detection - Vadim Zaliva (CoRR, 2011)

Hamake: A Data Flow Approach to Data Processing in Hadoop. - Vadim Zaliva; Vladimir Orlov (CLOSER, 2012)

3D finger posture detection and gesture recognition on touch surfaces. - Vadim Zaliva (ICARCV, 2012)

Barometric and GPS altitude sensor fusion. - Vadim Zaliva; Franz Franchetti (ICASSP, 2014)

Passive user identification using sequential analysis of proximity information in touchscreen usage patterns. - Vadim Zaliva; William Melicher; Shayan Saha; Joy Zhang (ICMU, 2015)

Constructing an orthonormal set of eigenvectors for DFT matrix using Gramians and determinants. - Vadim Zaliva (CoRR, 2017)

HELIX: a case study of a formal verification of high performance program generation. - Vadim Zaliva; Franz Franchetti (FHPC@ICFP, 2018)

Where's the Rock: Using Convolutional Neural Networks to Improve Land Cover Classification. - Helen Petliak; Corina Cerovski-Darriau; Vadim Zaliva; Jonathan Stock (Remote. Sens., 2019)

Research Report: Formally-Verified ASN.1 Protocol C-language Stack. - Nika Pona; Vadim Zaliva (SP (Workshops), 2020)

Verified Translation Between Purely Functional and Imperative Domain Specific Languages in HELIX. - Vadim Zaliva; Ilia Zaichuk; Franz Franchetti (VSTTE, 2020)

Modular, compositional, and executable formal semantics for LLVM IR. - Yannick Zakowski; Calvin Beck; Irene Yoon 001; Ilia Zaichuk; Vadim Zaliva; Steve Zdancewic (Proc. ACM Program. Lang., 2021)

HELIX: From Math to Verified Code. - Vadim Zaliva (2021)

Formal Mechanised Semantics of CHERI C: Capabilities, Undefined Behaviour, and Provenance. - Vadim Zaliva; Kayvan Memarian; Ricardo Almeida 003; Jessica Clarke 001; Brooks Davis; Alexander Richardson 001; David Chisnall; Brian Campbell 001; Ian Stark; Robert N. M. Watson; Peter Sewell (ASPLOS (1), 2024)

A CHERI C Memory Model for Verified Temporal Safety. - Vadim Zaliva; Kayvan Memarian; Brian Campbell 001; Ricardo Almeida 003; Nathaniel Wesley Filardo; Ian Stark; Peter Sewell (CPP, 2025)