| Publication | Date of Publication | Type |
|---|
A symbolic approach to the verification and enforcement of current-state opacity using labelled Petri nets IET Control Theory & Applications | 2025-12-16 | Paper |
Concealability analysis for current-state opacity enforcement via editing functions IEEE Transactions on Automatic Control | 2025-01-21 | Paper |
Characterizing dynamics of time series via Hill-index complexity measure Chaos: An Interdisciplinary Journal of Nonlinear Science | 2020-12-17 | Paper |
On the revised Szeged index of unicyclic graphs with given diameter Bulletin of the Malaysian Mathematical Sciences Society. Second Series | 2020-02-25 | Paper |
Studying a Range Proof Technique — Exception and Optimisation Progress in Cryptology – AFRICACRYPT 2013 | 2013-06-07 | Paper |
Modification and optimisation of an ElGamal-based PVSS scheme Progress in Cryptology – AFRICACRYPT 2013 | 2013-06-07 | Paper |
How to Fix Two RSA-Based PVSS Schemes—Exploration and Solution Information Security and Privacy | 2012-09-07 | Paper |
Efficient VSS free of computational assumption Journal of Parallel and Distributed Computing | 2012-02-14 | Paper |
A secure and efficient proof of integer in an interval range Cryptography and Coding | 2011-12-16 | Paper |
Impracticality of Efficient PVSS in Real Life Security Standard (Poster) Information Security and Privacy | 2011-07-07 | Paper |
A general, flexible and efficient proof of inclusion and exclusion Topics in Cryptology – CT-RSA 2011 | 2011-02-11 | Paper |
Formal and precise analysis of soundness of several shuffling schemes Provable Security | 2010-10-12 | Paper |
Batch range proof for practical small ranges Progress in cryptology -- AFRICACRYPT 2010. Third international conference on cryptology in Africa, Stellenbosch, South Africa, May 3--6, 2010. Proceedings | 2010-05-04 | Paper |
Public Key Cryptography – PKC 2004 Lecture Notes in Computer Science | 2009-05-14 | Paper |
Correction, Optimisation and Secure and Efficient Application of PBD Shuffling Information Security and Cryptology | 2009-04-29 | Paper |
Batch ZK Proof and Verification of OR Logic Information Security and Cryptology | 2009-04-29 | Paper |
Klein Bottle Routing: An Alternative to Onion Routing and Mix Network Information Security and Cryptology – ICISC 2006 | 2008-05-06 | Paper |
An Efficient and Verifiable Solution to the Millionaire Problem Lecture Notes in Computer Science | 2008-03-17 | Paper |
Simple and Efficient Shuffling with Provable Correctness and ZK Privacy Advances in Cryptology – CRYPTO 2005 | 2008-03-17 | Paper |
A Novel Range Test Information Security and Privacy | 2007-09-07 | Paper |
Cryptology and Network Security Lecture Notes in Computer Science | 2006-11-14 | Paper |
Information and Communications Security Lecture Notes in Computer Science | 2006-10-24 | Paper |
Information Security Lecture Notes in Computer Science | 2006-10-20 | Paper |
Progress in Cryptology – Mycrypt 2005 Lecture Notes in Computer Science | 2006-10-05 | Paper |
Information Security and Privacy Lecture Notes in Computer Science | 2006-06-22 | Paper |
Progress in Cryptology - INDOCRYPT 2004 Lecture Notes in Computer Science | 2005-12-22 | Paper |
Applied Cryptography and Network Security Lecture Notes in Computer Science | 2005-06-13 | Paper |
| scientific article; zbMATH DE number 1980956 (Why is no real title available?) | 2003-09-15 | Paper |
| scientific article; zbMATH DE number 1950627 (Why is no real title available?) | 2003-07-17 | Paper |