Silvio Ranise: search on Z-Library

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

Don't use scam websites

1

[Lecture Notes in Computer Science] Computer Security Volume 11981 (ESORICS 2019 International Workshops, IOSec, MSTEC, and FINSEC, Luxembourg City, Luxembourg, September 26â27, 2019, Revised Selected Papers) ||

Fournaris, Apostolos P., Athanatos, Manos, Lampropoulos, Konstantinos, Ioannidis, Sotiris, Hatzivasilis, George, Damiani, Ernesto, Abie, Habtamu, Ranise, Silvio, Verderame, Luca, Siena, Alberto, Garci

Year:

2020

Language:

english

File:

PDF, 22.94 MB

english, 2020

2

Blockchain Tree as Solution for Distributed Storage of Personal ID Data and Document Access Control

Kushch, Sergii, Baryshev, Yurii, Ranise, Silvio

Journal:

Year:

2020

File:

PDF, 792 KB

2020

3

[Lecture Notes in Computer Science] Computer Security Volume 11981 (ESORICS 2019 International Workshops, IOSec, MSTEC, and FINSEC, Luxembourg City, Luxembourg, September 26â27, 2019, Revised Selected Papers) || Blockchain Based Sharing of Security Information for Critical Infrastructures of the Finance Sector

Fournaris, Apostolos P., Athanatos, Manos, Lampropoulos, Konstantinos, Ioannidis, Sotiris, Hatzivasilis, George, Damiani, Ernesto, Abie, Habtamu, Ranise, Silvio, Verderame, Luca, Siena, Alberto, Garci

Year:

2020

Language:

english

File:

PDF, 1.82 MB

english, 2020

4

[IEEE 2019 IEEE World Congress on Services (SERVICES) - Milan, Italy (2019.7.8-2019.7.13)] 2019 IEEE World Congress on Services (SERVICES) - MQTTSA: A Tool for Automatically Assisting the Secure Deployments of MQTT Brokers

Palmieri, Andrea, Prem, Paolo, Ranise, Silvio, Morelli, Umberto, Ahmad, Tahir

Year:

2019

Language:

english

File:

PDF, 354 KB

english, 2019

5

[Lecture Notes in Computer Science] Security and Trust Management Volume 8203 ||

Accorsi, Rafael, Ranise, Silvio

Year:

2013

Language:

english

File:

PDF, 6.51 MB

english, 2013

6

[Lecture Notes in Computer Science] Security and Trust Management Volume 8203 || Socio-Technical Study on the Effect of Trust and Context When Choosing WiFi Names

Accorsi, Rafael, Ranise, Silvio

Year:

2013

Language:

english

File:

PDF, 1.72 MB

english, 2013

7

[ACM Press the 19th ACM symposium - London, Ontario, Canada (2014.06.25-2014.06.27)] Proceedings of the 19th ACM symposium on Access control models and technologies - SACMAT '14 - Attribute based access control for APIs in spring security

Armando, Alessandro, Carbone, Roberto, Chekole, Eyasu Getahun, Ranise, Silvio

Year:

2014

Language:

english

File:

PDF, 1.12 MB

english, 2014

8

[IEEE 2016 International Conference on Military Communications and Information Systems (ICMCIS) - Brussels, Belgium (2016.5.23-2016.5.24)] 2016 International Conference on Military Communications and Information Systems (ICMCIS) - Assisted content-based labelling and classification of documents

Wrona, Konrad, Oudkerk, Sander, Armando, Alessandro, Ranise, Silvio, Traverso, Riccardo, Ferrari, Lisa, McEvoy, Richard

Year:

2016

Language:

english

File:

PDF, 508 KB

english, 2016

9

Anatomy of the Facebook solution for mobile single sign-on: Security assessment and improvements

Sciarretta, Giada, Carbone, Roberto, Ranise, Silvio, Armando, Alessandro

Journal:

Computers & Security

Year:

2017

Language:

english

File:

PDF, 1.75 MB

english, 2017

10

[ACM Press the 22nd ACM - Indianapolis, Indiana, USA (2017.06.21-2017.06.23)] Proceedings of the 22nd ACM on Symposium on Access Control Models and Technologies - SACMAT '17 Abstracts - Security Analysis and Legal Compliance Checking for the Design of Privacy-friendly Information Systems

Guarda, Paolo, Ranise, Silvio, Siswantoro, Hari

Year:

2017

Language:

english

File:

PDF, 1.48 MB

english, 2017

11

Automated and efficient analysis of administrative temporal RBAC policies with role hierarchies

Ranise, Silvio, Truong, Anh, Viganò, Luca

Journal:

Journal of Computer Security

Year:

2018

Language:

english

File:

PDF, 737 KB

english, 2018

12

[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 - A Lazy Approach to Access Control as a Service (ACaaS) for IoT

Ahmad, Tahir, Morelli, Umberto, Ranise, Silvio, Zannone, Nicola

Year:

2018

Language:

english

File:

PDF, 1.57 MB

english, 2018

13

[Lecture Notes in Computer Science] Computer Security Volume 11981 (ESORICS 2019 International Workshops, IOSec, MSTEC, and FINSEC, Luxembourg City, Luxembourg, September 26â27, 2019, Revised Selected Papers) || dAPTaset: A Comprehensive Mapping of APT-Related Data

Fournaris, Apostolos P., Athanatos, Manos, Lampropoulos, Konstantinos, Ioannidis, Sotiris, Hatzivasilis, George, Damiani, Ernesto, Abie, Habtamu, Ranise, Silvio, Verderame, Luca, Siena, Alberto, Garci

Year:

2020

Language:

english

File:

PDF, 500 KB

english, 2020

14

[IEEE 2020 IEEE 3rd 5G World Forum (5GWF) - Bangalore, India (2020.9.10-2020.9.12)] 2020 IEEE 3rd 5G World Forum (5GWF) - Security Considerations on 5G-Enabled Back-Situation Awareness for CCAM

Centenaro, Marco, Berlato, Stefano, Carbone, Roberto, Burzio, Gianfranco, Cordella, Giuseppe Faranda, Ranise, Silvio, Riggio, Roberto

Year:

2020

File:

PDF, 425 KB

2020

15

Universal Guards, Relativization of Quantifiers, and Failure Models in Model Checking Modulo Theories

Alberti, Francesco, Ghilardi, Silvio, Pagani, Elena, Ranise, Silvio, Paolo Rossi, Gian

Journal:

Journal on Satisfiability, Boolean Modeling and Computation

Year:

2012

File:

PDF, 942 KB

2012

16

The Control Layer in Open Mechanized Reasoning Systems: Annotations and Tactics

Alessandro Armando, Alessandro Coglio, Fausto Giunchiglia, Silvio Ranise

Journal:

Journal of Symbolic Computation

Year:

2001

Language:

english

File:

PDF, 459 KB

english, 2001

17

Preface

Wolfgang Ahrendt, Peter Baumgartner, Hans de Nivelle, Silvio Ranise, Cesare Tinelli

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 70 KB

english, 2005

18

Light-Weight SMT-based Model Checking

Silvio Ghilardi, Silvio Ranise, Thomas Valsecchi

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 409 KB

english, 2009

19

Combination of convex theories: Modularity, deduction completeness, and explanation

Duc-Khanh Tran, Christophe Ringeissen, Silvio Ranise, Hélène Kirchner

Journal:

Journal of Symbolic Computation

Year:

2010

Language:

english

File:

PDF, 2.93 MB

english, 2010

20

Constraint contextual rewriting

Alessandro Armando, Silvio Ranise

Journal:

Journal of Symbolic Computation

Year:

2003

Language:

english

File:

PDF, 359 KB

english, 2003

21

Applying Light-Weight Theorem Proving to Debugging and Verifying Pointer Programs

Silvio Ranise, David Déharbe

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 958 KB

english, 2003

22

A prototype implementation of a distributed Satisfiability Modulo Theories solver in the ToolBus framework

David Déharbe, Silvio Ranise, Jorgiano Vidal

Journal:

Journal of the Brazilian Computer Society

Year:

2008

Language:

english

File:

PDF, 596 KB

english, 2008

23

Satisfiability solving for software verification

David Déharbe, Silvio Ranise

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2009

Language:

english

File:

PDF, 164 KB

english, 2009

24

Decision procedures for extensions of the theory of arrays

Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2007

Language:

english

File:

PDF, 612 KB

english, 2007

25

Preface

Silvio Ranise, Ullrich Hustadt

Journal:

Annals of Mathematics and Artificial Intelligence

Year:

2009

Language:

english

File:

PDF, 104 KB

english, 2009

26

A declarative two-level framework to specify and verify workflow and authorization policies in service-oriented architectures

Michele Barletta, Silvio Ranise, Luca Viganò

Journal:

Service Oriented Computing and Applications

Year:

2011

Language:

english

File:

PDF, 1.48 MB

english, 2011

27

Distributing the Workload in a Lazy Theorem-Prover

David Deharbe, Silvio Ranise, Jorgiano Vidal

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 359 KB

english, 2007

28

Efficient theory combination via boolean search

Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Tommi Junttila, Silvio Ranise, Peter van Rossum, Roberto Sebastiani

Journal:

Information and Computation

Year:

2006

Language:

english

File:

PDF, 1.84 MB

english, 2006

29

Automatic decidability and combinability

Christopher Lynch, Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tran

Journal:

Information and Computation

Year:

2011

Language:

english

File:

PDF, 286 KB

english, 2011

30

On the verification of security-aware E-services

Journal:

Journal of Symbolic Computation

Year:

2012

Language:

english

File:

PDF, 458 KB

english, 2012

31

A rewriting approach to satisfiability procedures

Alessandro Armando, Silvio Ranise, Michaël Rusinowitch

Journal:

Information and Computation

Year:

2003

Language:

english

File:

PDF, 285 KB

english, 2003

32

[IEEE 2011 IEEE Fifth International Conference on Semantic Computing (ICSC) - Palo Alto, CA, USA (2011.09.18-2011.09.21)] 2011 IEEE Fifth International Conference on Semantic Computing - Automated analysis of semantic-aware access control policies: a logic-based approach

Armando, Alessandro, Carbone, Roberto, Ranise, Silvio

Year:

2011

Language:

english

File:

PDF, 213 KB

english, 2011

33

Symbolic backward reachability with effectively propositional logic

Journal:

Formal Methods in System Design

Year:

2013

Language:

english

File:

PDF, 911 KB

english, 2013

34

AUTOMATED TERMINATION IN MODEL-CHECKING MODULO THEORIES

CARIONI, ALESSANDRO, GHILARDI, SILVIO, RANISE, SILVIO

Journal:

International Journal of Foundations of Computer Science

Year:

2013

Language:

english

File:

PDF, 392 KB

english, 2013

35

An extension of lazy abstraction with interpolation for programs with arrays

Alberti, Francesco, Bruttomesso, Roberto, Ghilardi, Silvio, Ranise, Silvio, Sharygina, Natasha

Journal:

Formal Methods in System Design

Year:

2014

Language:

english

File:

PDF, 1.02 MB

english, 2014

36

[IEEE 2013 8th International Conference for Internet Technology and Secured Transactions (ICITST) - London, United Kingdom (2013.12.9-2013.12.12)] 8th International Conference for Internet Technology and Secured Transactions (ICITST-2013) - A methodology to build run-time monitors for security-aware workflows

Bertolissi, Clara, Ranise, Silvio

Year:

2013

Language:

english

File:

PDF, 485 KB

english, 2013

37

[IEEE 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2010) - Timisoara (2010.09.23-2010.09.26)] 2010 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - WSSMT: Towards the Automated Analysis of Security-Sensitive Services and Applications

Barletta, Michele, Calvi, Alberto, Ranise, Silvio, Vigano, Luca, Zanetti, Luca

Year:

2010

Language:

english

File:

PDF, 412 KB

english, 2010

38

[IEEE 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2010) - Timisoara (2010.09.23-2010.09.26)] 2010 12th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing - Automated Validation of Security-Sensitive Web Services Specified in BPEL and RBAC

Calvi, Alberto, Ranise, Silvio, Vigano, Luca

Year:

2010

Language:

english

File:

PDF, 441 KB

english, 2010

39

[IEEE 2013 IEEE Third International Conference on Information Science and Technology (ICIST) - Yangzhou, Jiangsu, China (2013.03.23-2013.03.25)] 2013 IEEE Third International Conference on Information Science and Technology (ICIST) - A methodology to build run-time monitors for security-aware workflows

Bertolissi, Clara, Ranise, Silvio

Year:

2013

Language:

english

File:

PDF, 685 KB

english, 2013

40

[ACM Press the 6th ACM Symposium - Hong Kong, China (2011.03.22-2011.03.24)] Proceedings of the 6th ACM Symposium on Information, Computer and Communications Security - ASIACCS '11 - Efficient symbolic automated analysis of administrative attribute-based RBAC-policies

Alberti, Francesco, Armando, Alessandro, Ranise, Silvio

Year:

2011

Language:

english

File:

PDF, 440 KB

english, 2011

41

[Lecture Notes in Computer Science] Security and Trust Management Volume 8203 || Authenticity Control of Relational Databases by Means of Lossless Watermarking Based on Circular Histogram Modulation

Accorsi, Rafael, Ranise, Silvio

Year:

2013

Language:

english

File:

PDF, 667 KB

english, 2013

42

[ACM Press the 30th Annual ACM Symposium - Salamanca, Spain (2015.04.13-2015.04.17)] Proceedings of the 30th Annual ACM Symposium on Applied Computing - SAC '15 - Automated analysis of RBAC policies with temporal constraints and static role hierarchies

Ranise, Silvio, Truong, Anh, Viganò, Luca

Year:

2015

Language:

english

File:

PDF, 871 KB

english, 2015

43

[ACM Press the 18th ACM symposium - Amsterdam, The Netherlands (2013.06.12-2013.06.14)] Proceedings of the 18th ACM symposium on Access control models and technologies - SACMAT '13 - Content-based information protection and release in NATO operations

Armando, Alessandro, Grasso, Matteo, Oudkerk, Sander, Ranise, Silvio, Wrona, Konrad

Year:

2013

Language:

english

File:

PDF, 5.33 MB

english, 2013

44

Quantifier-free interpolation in combinations of equality interpolating theories

Bruttomesso, Roberto, Ghilardi, Silvio, Ranise, Silvio

Journal:

ACM Transactions on Computational Logic

Year:

2014

Language:

english

File:

PDF, 536 KB

english, 2014

45

[ACM Press the 19th ACM symposium - London, Ontario, Canada (2014.06.25-2014.06.27)] Proceedings of the 19th ACM symposium on Access control models and technologies - SACMAT '14 - Scalable and precise automated analysis of administrative temporal role-based access control

Ranise, Silvio, Truong, Anh, Armando, Alessandro

Year:

2014

Language:

english

File:

PDF, 1019 KB

english, 2014

46

[ACM Press the 20th ACM Symposium - Vienna, Austria (2015.06.01-2015.06.03)] Proceedings of the 20th ACM Symposium on Access Control Models and Technologies - SACMAT '15 - A SMT-based Tool for the Analysis and Enforcement of NATO Content-based Protection and Release Policies

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

Year:

2015

Language:

english

File:

PDF, 859 KB

english, 2015

47

[ACM Press the second ACM conference - San Antonio, Texas, USA (2012.02.07-2012.02.09)] Proceedings of the second ACM conference on Data and Application Security and Privacy - CODASKY '12 - Efficient run-time solving of RBAC user authorization queries

Armando, Alessandro, Ranise, Silvio, Turkmen, Fatih, Crispo, Bruno

Year:

2012

Language:

english

File:

PDF, 1.12 MB

english, 2012

48

New results on rewrite-based satisfiability procedures

Armando, Alessandro, Bonacina, Maria Paola, Ranise, Silvio, Schulz, Stephan

Journal:

ACM Transactions on Computational Logic

Year:

2009

Language:

english

File:

PDF, 737 KB

english, 2009

49

[ACM Press the 10th ACM Symposium - Singapore, Republic of Singapore (2015.04.14-2015.03.17)] Proceedings of the 10th ACM Symposium on Information, Computer and Communications Security - ASIA CCS '15 - Automated Synthesis of Run-time Monitors to Enforce Authorization Policies in Business Processes

Bertolissi, Clara, dos Santos, Daniel Ricardo, Ranise, Silvio

Year:

2015

Language:

english

File:

PDF, 1.99 MB

english, 2015

50

[Lecture Notes in Computer Science] Frontiers of Combining Systems Volume 9322 || An Expressive Model for Instance Decomposition Based Parallel SAT Solvers

Lutz, Carsten, Ranise, Silvio

Year:

2015

Language:

english

File:

PDF, 293 KB

english, 2015

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Български