arrow
返回
S

Silvio Ranise

Fondazione Bruno Kessler

29H指数
258论文数
3.0K被引数
收录论文 19
发表时间
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
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
err分享
err收藏
err分享
err收藏
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
err分享
err收藏
Formal analysis of XACML policies using SMT使用SMT对XACML策略进行形式化分析
err2017-05-01
err34
PREAI
errTurkmen, Fatih; den Hartog, Jerry; Ranise, Silvio; Zannone, Nicola
err分享
err收藏
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.
err分享
err收藏