Sign in
Aniqa Rehman
ORCID
Publication Activity (10 Years)
Years Active: 2019-2022
Publications (10 Years): 4
Top Topics
Database Architectures
Security Patterns
Formal Models
Visual Basic Database Programming
Top Venues
FIT
COORDINATION
Int. J. Commun. Syst.
QEST
</>
Publications
</>
Nicola Del Giudice
,
Lorenzo Matteucci
,
Michela Quadrini
,
Aniqa Rehman
,
Michele Loreti
Sibilla: A Tool for Reasoning about Collective Systems.
COORDINATION
(2022)
Michele Loreti
,
Aniqa Rehman
A Logical Framework for Reasoning About Local and Global Properties of Collective Systems.
QEST
(2022)
Khalid Mahmood
,
Aniqa Rehman
,
Pradeep Chaudhary
,
Xiong Li
,
Fan Wu
,
Saru Kumari
Revised anonymous authentication protocol for adaptive client-server infrastructure.
Int. J. Commun. Syst.
33 (4) (2020)
Saba Latif
,
Aniqa Rehman
,
Nazir Ahmad Zafar
Blockchain and IoT Based Formal Model of Smart Waste Management System Using TLA+.
FIT
(2019)