User Icon
Menu
Submit your Research
Journals
Cureus Journal of Engineering Cureus Journal of Computer Science Cureus Journal of Business and Economics Cureus Journal of Agriculture and Food Science Cureus Journal of AI-Augmented Research All Journals
Cureus for you
Manuscript Authors Peer Reviewers Universities and Institutes About Open Access Aims and Scope Author and Reviewer Guidelines FAQs About Cureus Journals Contact Cureus Journals
Channels
About Channels Browse Channels
Blogs
Sign In
Create an Account
Saif Ur Rehman Malik
Create your FREE profile now!

Join the discussion with researchers around the globe - sign up for your free Cureus account today.

JOIN CUREUS
About
Reviewer Keywords
high-level Petri nets Z3 solver Petri nets privacy attacks multiple sensitive attributes formal verification nets privacy model verification Computer Science