arrow
Back
S

Silvio Ranise

Fondazione Bruno Kessler

29H-index
258Paper Count
3.0KCitation Count
Published Papers 19
Publication Date
Best current practices for privacy-preserving OpenID Connect: A study of their adoption in the wild
err2026-04-29
err0
errOAAI
errGianluca Sassetti; Amir Sharif; Giada Sciarretta; Roberto Carbone; Silvio Ranise
errShare
errSave
errShare
errSave
On cryptographic mechanisms for the selective disclosure of verifiable credentials
err2024-06-01
err1
errOAAI
errFlamini, Andrea; Sciarretta, Giada; Scuro, Mario; Sharif, Amir; Tomasi, Alessandro; Ranise, Silvio
errShare
errSave
Safety-Related Cooperative, Connected, and Automated Mobility Services: Interplay Between Functional and Security Requirements
err2021-12-01
err5
errOAAI
errCentenaro, Marco; Berlato, Stefano; Carbone, Roberto; Burzio, Gianfranco; Cordella, Giuseppe Faranda; Riggio, Roberto; Ranise, Silvio
errShare
errSave
Formal Analysis of Mobile Multi-Factor Authentication with Single Sign-On Login
err2020-06-06
err6
errOAAI
errSciarretta, Giada; Carbone, Roberto; Ranise, Silvio; Vigano, Luca
errShare
errSave
SARA: Secure Asynchronous Remote Attestation for IoT Systems
err2020-01-01
err52
PREAI
errDushku, Edlira; Rabbani, Md Masoom; Conti, Mauro; Mancini, Luigi, V; Ranise, Silvio
errShare
errSave
Collective Remote Attestation at the Internet of Things Scale: State-of-the-Art and Future Challenges
err2020-01-01
err43
errOAAI
errAmbrosin, Moreno; Conti, Mauro; Lazzeretti, Riccardo; Rabbani, Md Masoom; Ranise, Silvio
errShare
errSave
Remote Attestation as a Service for IoT
err2019-10-01
err4
PREAI
errConti, Mauro; Dushku, Edlira; Mancini, Luigi V.; Rabbani, Md Masoom; Ranise, Silvio
errShare
errSave
Anatomy of the Facebook solution for mobile single sign-on: Security assessment and improvements
err2017-11-01
err8
PREAI
errSciarretta, Giada; Carbone, Roberto; Ranise, Silvio; Armando, Alessandro
errShare
errSave
Formal analysis of XACML policies using SMT
err2017-05-01
err34
PREAI
errTurkmen, Fatih; den Hartog, Jerry; Ranise, Silvio; Zannone, Nicola
errShare
errSave
Intelligent systems and formal methods in software engineering
err2006-11-01
err14
PREAI
errBeckert, Bernhard; Hoare, Tony; Hahnle, Reiner; Smith, Douglas R.; Green, Cordell; Ranise, Silvio; Tinelli, Cesare; Ball, Thomas; Rajamani, Sriram K.
errShare
errSave