Silvio Ranise: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

51

[ACM Press the 7th ACM CCS International Workshop - Denver, Colorado, USA (2015.10.16-2015.10.16)] Proceedings of the 7th ACM CCS International Workshop on Managing Insider Security Threats - MIST '15 - Mobile App Security Assessment with the MAVeriC Dynamic Analysis Module

Armando, Alessandro, Bocci, Gianluca, Costa, Gabriele, Mammoliti, Rocco, Merlo, Alessio, Ranise, Silvio, Traverso, Riccarto, Valenza, Andrea

Year:

2015

Language:

english

File:

PDF, 805 KB

english, 2015

52

[IEEE 2009 International Conference on Computational Science and Engineering - Vancouver, BC, Canada (2009.08.29-2009.08.31)] 2009 International Conference on Computational Science and Engineering - Verifying the Interplay of Authorization Policies and Workflow in Service-Oriented Architectures

Barletta, Michele, Ranise, Silvio, Vigano, Luca

Year:

2009

Language:

english

File:

PDF, 767 KB

english, 2009

53

[IEEE 2015 IEEE Conference on Communications and Network Security (CNS) - Florence, Italy (2015.9.28-2015.9.30)] 2015 IEEE Conference on Communications and Network Security (CNS) - Compiling NATO authorization policies for enforcement in the cloud and SDNs

Armando, Alessandro, Ranise, Silvio, Traverso, Riccardo, Wrona, Konrad

Year:

2015

Language:

english

File:

PDF, 166 KB

english, 2015

54

[ACM Press the 2016 ACM International Workshop - New Orleans, Louisiana, USA (2016.03.11-2016.03.11)] Proceedings of the 2016 ACM International Workshop on Attribute Based Access Control - ABAC '16 - SMT-based Enforcement and Analysis of NATO Content-based Protection and Release Policies

Armando, Alessandro, Ranise, Silvio, Traverso, Riccardo, Wrona, Konrad

Year:

2016

Language:

english

File:

PDF, 1.00 MB

english, 2016

55

Parameterized model checking for security policy analysis

Ranise, Silvio, Truong, Anh, Traverso, Riccardo

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2016

Language:

english

File:

PDF, 775 KB

english, 2016

56

A SMT-based methodology for monitoring of security-aware workflows

Bertolissi, Clara, Ranise, Silvio

Journal:

International Journal of Internet Technology and Secured Transactions

Year:

2014

Language:

english

File:

PDF, 463 KB

english, 2014

57

[Lecture Notes in Computer Science] Data and Applications Security and Privacy XXX Volume 9766 || Inter-ReBAC: Inter-operation of Relationship-Based Access Control Model Instances

Ranise, Silvio, Swarup, Vipin

Year:

2016

Language:

english

File:

PDF, 257 KB

english, 2016

58

[Lecture Notes in Computer Science] Data and Applications Security and Privacy XXX Volume 9766 || Sharing-Habits Based Privacy Control in Social Networks

Ranise, Silvio, Swarup, Vipin

Year:

2016

Language:

english

File:

PDF, 1.28 MB

english, 2016

59

[Lecture Notes in Computer Science] Data and Applications Security and Privacy XXX Volume 9766 || Counteracting Active Attacks in Social Network Graphs

Ranise, Silvio, Swarup, Vipin

Year:

2016

Language:

english

File:

PDF, 487 KB

english, 2016

60

[Lecture Notes in Computer Science] Data and Applications Security and Privacy XXX Volume 9766 ||

Ranise, Silvio, Swarup, Vipin

Year:

2016

Language:

english

File:

PDF, 16.12 MB

english, 2016

61

[Lecture Notes in Computer Science] Data and Applications Security and Privacy XXX Volume 9766 || Reasoning About Privacy Properties of Architectures Supporting Group Authentication and Application to Biometric Systems

Ranise, Silvio, Swarup, Vipin

Year:

2016

Language:

english

File:

PDF, 392 KB

english, 2016

62

[Lecture Notes in Computer Science] Data and Applications Security and Privacy XXX Volume 9766 || Diversifying Network Services Under Cost Constraints for Better Resilience Against Unknown Attacks

Ranise, Silvio, Swarup, Vipin

Year:

2016

Language:

english

File:

PDF, 1.88 MB

english, 2016

63

[Lecture Notes in Computer Science] Data and Applications Security and Privacy XXX Volume 9766 || Privacy Preserving Probabilistic Record Linkage Using Locality Sensitive Hashes

Ranise, Silvio, Swarup, Vipin

Year:

2016

Language:

english

File:

PDF, 519 KB

english, 2016

64

[ACM Press the 21st ACM - Shanghai, China (2016.06.06-2016.06.08)] Proceedings of the 21st ACM on Symposium on Access Control Models and Technologies - SACMAT '16 - Modular Synthesis of Enforcement Mechanisms for the Workflow Satisfiability Problem

dos Santos, Daniel R., Ponta, Serena Elisa, Ranise, Silvio

Year:

2016

Language:

english

File:

PDF, 1.29 MB

english, 2016

65

[Lecture Notes in Computer Science] Data and Applications Security and Privacy XXX Volume 9766 || Enhanced Functionality and Confidentiality for Database Search and Publish/Subscribe Protocols

Ranise, Silvio, Swarup, Vipin

Year:

2016

Language:

english

File:

PDF, 493 KB

english, 2016

66

[Lecture Notes in Computer Science] Data and Applications Security and Privacy XXX Volume 9766 || Guaranteeing Correctness of Bulk Operations in Outsourced Databases

Ranise, Silvio, Swarup, Vipin

Year:

2016

Language:

english

File:

PDF, 296 KB

english, 2016

67

[Lecture Notes in Computer Science] Data and Applications Security and Privacy XXX Volume 9766 || Deciphering Text from Touchscreen Key Taps

Ranise, Silvio, Swarup, Vipin

Year:

2016

Language:

english

File:

PDF, 1.39 MB

english, 2016

68

[Lecture Notes in Computer Science] Data and Applications Security and Privacy XXX Volume 9766 || A Practical Framework for Executing Complex Queries over Encrypted Multimedia Data

Ranise, Silvio, Swarup, Vipin

Year:

2016

Language:

english

File:

PDF, 542 KB

english, 2016

69

[Lecture Notes in Computer Science] Data and Applications Security and Privacy XXX Volume 9766 || Runtime Detection of Zero-Day Vulnerability Exploits in Contemporary Software Systems

Ranise, Silvio, Swarup, Vipin

Year:

2016

Language:

english

File:

PDF, 547 KB

english, 2016

70

[Lecture Notes in Computer Science] Data and Applications Security and Privacy XXX Volume 9766 || Private and Secure Secret Shared MapReduce (Extended Abstract)

Ranise, Silvio, Swarup, Vipin

Year:

2016

Language:

english

File:

PDF, 307 KB

english, 2016

71

[Lecture Notes in Computer Science] Data and Applications Security and Privacy XXX Volume 9766 || Practical Differentially Private Modeling of Human Movement Data

Ranise, Silvio, Swarup, Vipin

Year:

2016

Language:

english

File:

PDF, 218 KB

english, 2016

72

[IEEE 2016 IEEE 2nd International Forum on Research and Technologies for Society and Industry Leveraging a better tomorrow (RTSI) - Bologna, Italy (2016.9.7-2016.9.9)] 2016 IEEE 2nd International Forum on Research and Technologies for Society and Industry Leveraging a better tomorrow (RTSI) - A delegated authorization solution for smart-city mobile applications

Sciarretta, Giada, Carbone, Roberto, Ranise, Silvio

Year:

2016

Language:

english

File:

PDF, 702 KB

english, 2016

73

Formal analysis of XACML policies using SMT

Turkmen, Fatih, den Hartog, Jerry, Ranise, Silvio, Zannone, Nicola

Journal:

Computers & Security

Year:

2017

Language:

english

File:

PDF, 1024 KB

english, 2017

74

[ACM Press the Seventh ACM - Scottsdale, Arizona, USA (2017.03.22-2017.03.24)] Proceedings of the Seventh ACM on Conference on Data and Application Security and Privacy - CODASPY '17 - Aegis

Compagna, Luca, dos Santos, Daniel Ricardo, Ponta, Serena Elisa, Ranise, Silvio

Year:

2017

Language:

english

File:

PDF, 665 KB

english, 2017

75

[ACM Press the 10th ACM Conference - Boston, Massachusetts (2017.07.18-2017.07.20)] Proceedings of the 10th ACM Conference on Security and Privacy in Wireless and Mobile Networks - WiSec '17 - Toward secure and efficient attestation for highly dynamic swarms

Ambrosin, Moreno, Conti, Mauro, Lazzeretti, Riccardo, Rabbani, Md Masoom, Ranise, Silvio

Year:

2017

Language:

english

File:

PDF, 532 KB

english, 2017

76

Automatically finding execution scenarios to deploy security-sensitive workflows

dos Santos, Daniel Ricardo, Ranise, Silvio, Compagna, Luca, Ponta, Serena Elisa

Journal:

Journal of Computer Security

Year:

2017

Language:

english

File:

PDF, 448 KB

english, 2017

77

[ACM Press the 23nd ACM - Indianapolis, Indiana, USA (2018.06.13-2018.06.15)] Proceedings of the 23nd ACM on Symposium on Access Control Models and Technologies - SACMAT '18 - Solving Multi-Objective Workflow Satisfiability Problems with Optimization Modulo Theories Techniques

Bertolissi, Clara, dos Santos, Daniel R., Ranise, Silvio

Year:

2018

Language:

english

File:

PDF, 1.55 MB

english, 2018

78

[IEEE 2018 14th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob) - Limassol, Cyprus (2018.10.15-2018.10.17)] 2018 14th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob) - SPLIT: A Secure and Scalable RPL routing protocol for Internet of Things

Conti, Mauro, Kaliyar, Pallavi, Rabbani, Md Masoom, Ranise, Silvio

Year:

2018

Language:

english

File:

PDF, 408 KB

english, 2018

79

Scalable automated symbolic analysis of administrative role-based access control policies by SMT solving1

Armando, Alessandro, Ranise, Silvio, Barthe, Gilles, Cuellar, Jorge, Lopez, Javier, Pretschner, Alexander

Journal:

Journal of Computer Security

Year:

2012

Language:

english

File:

PDF, 566 KB

english, 2012

80

Attestation-enabled secure and scalable routing protocol for IoT networks

Conti, Mauro, Kaliyar, Pallavi, Rabbani, Md Masoom, Ranise, Silvio

Journal:

Ad Hoc Networks

Year:

2020

File:

PDF, 1.37 MB

2020

81

[IEEE 2019 Sixth International Conference on Internet of Things: Systems, Management and Security (IOTSMS) - Granada, Spain (2019.10.22-2019.10.25)] 2019 Sixth International Conference on Internet of Things: Systems, Management and Security (IOTSMS) - Remote Attestation as a Service for IoT

Conti, Mauro, Dushku, Edlira, Mancini, Luigi V., Rabbani, Masoom, Ranise, Silvio

Year:

2019

File:

PDF, 447 KB

2019

82

[IEEE 2018 International Workshop on Secure Internet of Things (SIoT) - Barcelona, Spain (2018.9.6-2018.9.6)] 2018 International Workshop on Secure Internet of Things (SIoT) - PADS: Practical Attestation for Highly Dynamic Swarm Topologies

Ambrosin, Moreno, Conti, Mauro, Lazzeretti, Riccardo, Rabbani, Md Masoom, Ranise, Silvio

Year:

2018

File:

PDF, 5.03 MB

2018

83

SARA: Secure Asynchronous Remote Attestation for IoT Systems

Dushku, Edlira, Rabbani, Md Masoom, Conti, Mauro, Mancini, Luigi V., Ranise, Silvio

Journal:

IEEE Transactions on Information Forensics and Security

Year:

2020

File:

PDF, 1.91 MB

2020

84

[IEEE 2019 IEEE Global Conference on Internet of Things (GCIoT) - Dubai, United Arab Emirates (2019.12.4-2019.12.7)] 2019 IEEE Global Conference on Internet of Things (GCIoT) - Blockchain Tree for eHealth

Kushch, Sergii, Ranise, Silvio, Sciarretta, Giada

Year:

2019

File:

PDF, 337 KB

2019

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски