Secure Computing Systems Design Through Formal Micro-Contracts. - Michel A. Kinsy; Novak Boskov (ACM Great Lakes Symposium on VLSI, 2019)

Security Threats in Approximate Computing Systems. - Pruthvy Yellu; Novak Boskov; Michel A. Kinsy; Qiaoyan Yu (ACM Great Lakes Symposium on VLSI, 2019)

CodeTrolley: Hardware-Assisted Control Flow Obfuscation. - Novak Boskov; Mihailo Isakov; Michel A. Kinsy (CoRR, 2019)

Drndalo: Lightweight Control Flow Obfuscation Through Minimal Processor/Compiler Co-Design. - Novak Boskov; Mihailo Isakov; Michel A. Kinsy (CoRR, 2019)

Birdwatching: False Negatives In Cuckoo Filters. - Novak Boskov; Ari Trachtenberg; David Starobinski (StudentWorkshop@CoNEXT, 2020)

Union Buster: A Cross-Container Covert-Channel Exploiting Union Mounting. - Novak Boskov; Naor Radami; Trishita Tiwari; Ari Trachtenberg (CSCML, 2022)

GenSync: A New Framework for Benchmarking and Optimizing Reconciliation of Data. - Novak Boskov; Ari Trachtenberg; David Starobinski (IEEE Trans. Netw. Serv. Manag., 2022)

SREP: Out-Of-Band Sync of Transaction Pools for Large-Scale Blockchains. - Novak Boskov; Sevval Simsek; Ari Trachtenberg; David Starobinski (ICBC, 2023)

Synchronization of data in heterogeneous decentralized systems - Novak Boskov (2023)

Enabling Cost-Benefit Analysis of Data Sync Protocols. - Novak Boskov; Ari Trachtenberg; David Starobinski (Computer, 2023)

Out-of-band transaction pool sync for large dynamic blockchain networks. - Novak Boskov; Xingyu Chen; Sevval Simsek; Ari Trachtenberg; David Starobinski (Int. J. Netw. Manag., 2024)

A Ranking Framework for Network Resource Allocation and Scheduling via Hypergraphs. - Rajpreet Singh; Novak Boskov; Aditya Gudal; Manzoor A. Khan (CoRR, 2025)