Mohsen Ahmadvand

22 papers A 3C 1Journal 10Unranked 7
YearRankTypeTitle / Venue / Authors
2026 J jnl
push0: Scalable and Fault-Tolerant Orchestration for Zero-Knowledge Proof Generation.
CoRR
Mohsen Ahmadvand, Rok Pajnic, Ching-Lun Chiu
2025 J jnl
Optimizing Optimism: Up to 6.5x Faster zkVM Validity Proofs via Sparse Derivation.
CoRR
Mohsen Ahmadvand, Pedro Souto
2025 J jnl
Towards Cost-Effective ZK-Rollups: Modeling and Optimization of Proving Infrastructure.
CoRR
Mohsen Ahmadvand, Pedro Souto
2023 — conf
Automated Analysis of Halo2 Circuits.
SMT
Fatemeh Heidari Soureshjani, Mathias Hall-Andersen, MohammadMahdi Jahanara, Jeffrey Kam, Jan Gorzny, Mohsen Ahmadvand
2023 J jnl
Automated Analysis of Halo2 Circuits.
IACR Cryptol. ePrint Arch.
Fatemeh Heidari Soureshjani, Mathias Hall-Andersen, MohammadMahdi Jahanara, Jeffrey Kam, Jan Gorzny, Mohsen Ahmadvand
2021 A conf
Dynamic Taint Analysis versus Obfuscated Self-Checking.
ACSAC
Sebastian Banescu, Samuel Valenzuela, Marius Guggenmos, Mohsen Ahmadvand, Alexander Pretschner
2021 — —
Strengthened, Composable, and Quantifiable Software Integrity Protection.
Mohsen Ahmadvand
2019 J jnl
A novel hybrid trust region algorithm based on nonmonotone and LOOCV techniques.
Comput. Optim. Appl.
Mohsen Ahmadvand, Mohsen Esmaeilbeigi, Ahmad Kamandi, Farajollah Mohammadi Yaghoobi
2019 J jnl
An improved hybrid-ORBIT algorithm based on point sorting and MLE technique.
Comput. Appl. Math.
Mohsen Ahmadvand, Mohsen Esmaeilbeigi, Ahmad Kamandi, Farajollah Mohammadi Yaghoobi
2019 J jnl
Chapter Eight - A Taxonomy of Software Integrity Protection Techniques.
Adv. Comput.
Mohsen Ahmadvand, Alexander Pretschner, Florian Kelbert
2019 J jnl
SIP Shaker: Software Integrity Protection Composition.
CoRR
Mohsen Ahmadvand, Dennis Fischer, Sebastian Banescu
2019 A conf
SIP shaker: software integrity protection composition.
ACSAC
Mohsen Ahmadvand, Dennis Fischer, Sebastian Banescu
2019 J jnl
Taxonomy-as-a-Service: How To Structure Your Related Work.
CoRR
Mohsen Ahmadvand, Amjad Ibrahim, Felix Huber
2019 — conf
VirtSC: Combining Virtualization Obfuscation with Self-Checksumming.
SPRO@CCS
Mohsen Ahmadvand, Daniel Below, Sebastian Banescu, Alexander Pretschner
2019 J jnl
VirtSC: Combining Virtualization Obfuscation with Self-Checksumming.
CoRR
Mohsen Ahmadvand, Daniel Below, Sebastian Banescu, Alexander Pretschner
2018 — conf
Integrity Protection Against Insiders in Microservice-Based Infrastructures: From Threats to a Security Framework.
STAF Workshops
Mohsen Ahmadvand, Alexander Pretschner, Keith Ball, Daniel Eyring
2018 A conf
Practical Integrity Protection with Oblivious Hashing.
ACSAC
Mohsen Ahmadvand, Anahit Hayrapetyan, Sebastian Banescu, Alexander Pretschner
2017 — conf
Detecting Patching of Executables without System Calls.
CODASPY
Sebastian Banescu, Mohsen Ahmadvand, Alexander Pretschner, Robert Shield, Chris Hamilton
2016 C conf
Enhancing Operation Security using Secret Sharing.
SECRYPT
Mohsen Ahmadvand, Antoine Scemama, Martín Ochoa, Alexander Pretschner
2016 — conf
Requirements Reconciliation for Scalable and Secure Microservice (De)composition.
RE Workshops
Mohsen Ahmadvand, Amjad Ibrahim
2011 — conf
An RBF Solution to a Stagnation Point Flow Towards a Stretching Surface with Heat Generation.
CSE
Saeed Kazem, Alireza Sanaeikia, Mohsen Ahmadvand, Hasan Saberi
2006 — conf
A Novel Merged Multiplier-Accumulator Embedded in DSP Coprocessor.
ICECS
Hadi Parandeh-Afshar, Mohsen Ahmadvand, Saeed Safari