Mukesh Tiwari
Orcid: 0000-0001-5373-9659Affiliations:
- Swansea University, School of Mathematics and Computer Science, Swansea, UK
- Australian National University, Canberra, Australia (PhD 2020)
According to our database1,
Mukesh Tiwari authored at least 15 papers
between 2010 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2025
Proceedings of the Fundamentals of Software Engineering, 2025
2024
Appl. Netw. Sci., December, 2024
2023
Assume but Verify: Deductive Verification of Leaked Information in Concurrent Applications (Extended Version).
CoRR, 2023
Proceedings of the 32nd USENIX Security Symposium, 2023
Proceedings of the Complex Networks & Their Applications XII, 2023
Assume but Verify: Deductive Verification of Leaked Information in Concurrent Applications.
Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023
2020
Proceedings of the CCSW'20, 2020
2019
Proceedings of the Verified Software. Theories, Tools, and Experiments, 2019
Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019
2018
Proceedings of the Electronic Voting - Third International Joint Conference, 2018
2017
No More Excuses: Automated Synthesis of Practical and Verifiable Vote-Counting Programs for Complex Voting Schemes.
Proceedings of the Electronic Voting - Second International Joint Conference, 2017
Proceedings of the Interactive Theorem Proving - 8th International Conference, 2017
2014
2010
Fuzzy Logic of Speed and Steering Control System for Three Dimensional Line Following of an Autonomous Vehicle
CoRR, 2010