Our papers Formal Verification of Quantum Ancilla Safety and Model Checking Matrix Product States Against Linear Chain Logic have been accepted at CAV 2026, the 38th International Conference on Computer Aided Verification.
Our papers Formal Verification of Quantum Ancilla Safety and Model Checking Matrix Product States Against Linear Chain Logic have been accepted at CAV 2026, the 38th International Conference on Computer Aided Verification.
Our paper QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits has been accepted at FM 2026, the 27th International Symposium on Formal Methods.
Our paper Optimal Mechanisms for Quantum Local Differential Privacy has been accepted at CCS 2025, the 32nd ACM Conference on Computer and Communications Security.
Our paper Measurement-based Verification of Quantum Markov Chains has been accepted at CAV 2024, the 36th International Conference on Computer Aided Verification.
Our paper Detecting Violations of Differential Privacy for Quantum Algorithms has been accepted at CCS 2023, the 30th ACM Conference on Computer and Communications Security.
Latest Posts
Our papers Formal Verification of Quantum Ancilla Safety and Model Checking Matrix Product States Against Linear Chain Logic have been accepted at CAV 2026, the 38th International Conference on Computer Aided Verification.
Our paper QSeqSim: A Symbolic Simulator for Qiskit While Loops Using Sequential Quantum Circuits has been accepted at FM 2026, the 27th International Symposium on Formal Methods.
Our paper Optimal Mechanisms for Quantum Local Differential Privacy has been accepted at CCS 2025, the 32nd ACM Conference on Computer and Communications Security.