IsPri UNSW
IsPri UNSW
Home
Team
Publications
News
Light
Dark
Automatic
Chapter
Applications and challenges of SA in real-life scenarios
D Kanojia
,
Aditya Joshi
Cite
DOI
Formal Methods for the Security of Medical Devices
Hammond Pearce
May 1, 2022
DOI
URL
Formal Methods for the Security of Medical Devices
Hammond Pearce
Cite
DOI
URL
Blockchain-Enabled Secure and Smart Healthcare System
Debendranath Das
,
Amudhan Muthaiah
,
Sushmita Ruj
Jan 1, 2022
DOI
URL
Blockchain-Enabled Secure and Smart Healthcare System
Debendranath Das
,
Amudhan Muthaiah
,
Sushmita Ruj
Cite
DOI
URL
Forward Traceability for Product Authenticity Using Ethereum Smart Contracts
Fokke Heikamp
,
Lei Pan
,
Rolando Trujillo-Rasua
,
Sushmita Ruj
,
Robin Doss
Jan 1, 2022
DOI
URL
Forward Traceability for Product Authenticity Using Ethereum Smart Contracts
Fokke Heikamp
,
Lei Pan
,
Rolando Trujillo-Rasua
,
Sushmita Ruj
,
Robin Doss
Cite
DOI
URL
On the Vulnerability of Community Structure in Complex Networks
V. Parimi
,
A. Pal
,
S. Ruj
,
P. Kumaraguru
,
T. Chakraborty
Jan 1, 2022
DOI
URL
On the Vulnerability of Community Structure in Complex Networks
V. Parimi
,
A. Pal
,
S. Ruj
,
P. Kumaraguru
,
T. Chakraborty
Cite
DOI
URL
Appendable-Block Blockchains
Regio A. Michelin
,
Roben Castagna Lunardi
,
Henry Cabral Nunes
,
Volkan Dedeoglu
,
Charles v. Neu
,
Avelino Francisco Zorzo
,
Salil S. Kanhere
Jan 1, 2021
DOI
URL
«
»
Cite
×