S&T Evidences (Dwr Model)[built on 2017-12-16]

Journal Paper U-Gov ID307003
Year2016
Author(s)Armando, Alessandro; Carbone, Roberto; Compagna, Luca
TitleSATMC: a SAT-based model checker for security protocols, business processes, and security APIs
JournalINTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER
ISSN1433-2779
Volume18
InternationalNo
646 1.612 N/D 0.514 7.7 0.00108 N/D
COMPUTER SCIENCE, SOFTWARE ENGINEERING 43 106 Q2
No ESF data
No ANVUR data
Journal Paper U-Gov ID307037
Year2016
Author(s)Ranise, Silvio; Truong, Anh; Traverso, Riccardo
TitleParameterized model checking for security policy analysis
JournalINTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER
ISSN1433-2779
Volume18
InternationalNo
646 1.612 N/D 0.514 7.7 0.00108 N/D
COMPUTER SCIENCE, SOFTWARE ENGINEERING 43 106 Q2
No ESF data
No ANVUR data
Journal Paper U-Gov ID264419
Year2014
Author(s)Bruttomesso R.; Ghilardi S.; Ranise S.
TitleQuantifier-free interpolation in combinations of equality interpolating theories
JournalACM TRANSACTIONS ON COMPUTATIONAL LOGIC
ISSN1529-3785
Volume15
InternationalNo
312 0.618 0.927 0.029 7.1 0.00177 0.737
COMPUTER SCIENCE, THEORY & METHODS 74 102 Q3
LOGIC 6 21 Q2
No ESF data
No ANVUR data
Journal Paper U-Gov ID269019
Year2014
Author(s)Alberti F.; Bruttomesso R.; Ghilardi S.; Ranise S.; Sharygina N.
TitleAn extension of lazy abstraction with interpolation for programs with arrays
JournalFORMAL METHODS IN SYSTEM DESIGN
ISSN0925-9856
Volume45
InternationalYes
357 0.875 1.218 0.043 8.4 0.0016 0.846
COMPUTER SCIENCE, THEORY & METHODS 55 102 Q3
No ESF data
No ANVUR data
Journal Paper U-Gov ID104419
Year2013
Author(s)A. Armando; R. Carbone; L. Compagna; J. Cuellar; G. Pellegrino; A. Sorniotti
TitleAn Authentication Flaw in Browser-based Single Sign-On Protocols: Impact and Remediations
JournalCOMPUTERS & SECURITY
ISSN0167-4048
Volume33
InternationalYes
991 1.172 1.488 0.138 6.8 0.00211 0.448
COMPUTER SCIENCE, INFORMATION SYSTEMS 59 135 Q2
No ESF data
No ANVUR data
Journal Paper U-Gov ID180610
Year2013
Author(s)Ranise S.
TitleSymbolic Backward Reachability with Effectively Propositional Logic-Applications to Security Policy Analysis
JournalFORMAL METHODS IN SYSTEM DESIGN
ISSN1572-8102
Volume42
InternationalNo
273 0.404 0.942 0.1 9.0 0.00102 0.591
COMPUTER SCIENCE, THEORY & METHODS 88 102 Q4
No ESF data
No ANVUR data
Journal Paper U-Gov ID180611
Year2013
Author(s)Carioni A.; Ghilardi S.; Ranise S.
TitleAutomated Termination in Model-Checking Modulo Theories
JournalINTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE
ISSN0129-0541
Volume24
InternationalNo
375 0.326 0.4 0.0 6.5 0.00211 0.298
COMPUTER SCIENCE, THEORY & METHODS 97 102 Q4
No ESF data
No ANVUR data
Journal Paper U-Gov ID50389
Year2012
Author(s)S. Ranise
TitleOn the Verification of Security-Aware E-services
JournalJOURNAL OF SYMBOLIC COMPUTATION
ISSN0747-7171
Volume47
InternationalNo
1178 0.391 0.611 0.154 -10.0 0.0038 0.586
COMPUTER SCIENCE, THEORY & METHODS 86 100 Q4
MATHEMATICS, APPLIED 217 247 Q4
No ESF data
No ANVUR data
Journal Paper U-Gov ID101201
Year2012
Author(s)R. Bruttomesso; S. Ghilardi; S. Ranise
TitleQuantifier-Free Interpolation of a Theory of Arrays
JournalLOGICAL METHODS IN COMPUTER SCIENCE
ISSN1860-5974
Volume8
InternationalNo
161 0.44 0.508 0.074 4.3 0.00198 0.471
COMPUTER SCIENCE, THEORY & METHODS 81 100 Q4
LOGIC 11 19 Q3
No ESF data
No ANVUR data
Journal Paper U-Gov ID101202
Year2012
Author(s)F. Alberti; S. Ghilardi; E. Pagani; S. Ranise; G. P. Rossi
TitleUniversal Guards, Relativization of Quantifiers, and Failure Models in Model Checking Modulo Theories
JournalJOURNAL ON SATISFIABILITY, BOOLEAN MODELING AND COMPUTATION
ISSN1574-0617
Volume8
InternationalNo
No ISI data
No ESF data
No ANVUR data
Journal Paper U-Gov ID121401
Year2012
Author(s)A. Armando; S. Ranise
TitleScalable automated symbolic analysis of administrative role-based access control policies by SMT solving
JournalJOURNAL OF COMPUTER SECURITY
ISSN0926-227X
Volume20
InternationalNo
No ISI data
No ESF data
No ANVUR data
Journal Paper U-Gov ID22250
Year2011
Author(s)R. Carbone
TitleLTL Model-Checking for Security Protocols
JournalAI COMMUNICATIONS
ISSN0921-7126
Volume24
InternationalNo
237 0.5 0.583 0.357 -10.0 0.00078 0.368
COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE 93 111 Q4
No ESF data
No ANVUR data
Journal Paper U-Gov ID50381
Year2011
Author(s)M. Barletta; S. Ranise; L. Vigano
TitleA Declarative Two-level Framework to Specify and Verify Workflow and Authorization Policies in Service Oriented Architectures
JournalSERVICE ORIENTED COMPUTING AND APPLICATIONS
ISSN1863-2386
Volume5
InternationalNo
No ISI data
No ESF data
No ANVUR data
Journal Paper U-Gov ID50382
Year2011
Author(s)C. Lynch; S. Ranise; C. Ringeissen; D.-K. Tran
TitleAutomatic Decidability and Combinability
JournalINFORMATION AND COMPUTATION
ISSN0890-5401
Volume209
InternationalYes
3130 0.56 0.76 0.235 -10.0 0.00352 0.562
COMPUTER SCIENCE, THEORY & METHODS 73 99 Q3
MATHEMATICS, APPLIED 164 245 Q3
No ESF data
No ANVUR data
Journal Paper U-Gov ID50390
Year2011
Author(s)M. Barletta; A. Calvi; S. Ranise; L. Vigano; L. Zanetti
TitleWorkflow and Access Control Reloaded: a Declarative Specification Framework for the Automated Analysis of Web Services
JournalSCALABLE COMPUTING. PRACTICE AND EXPERIENCE
ISSN1895-1767
Volume12
InternationalNo
No ISI data
No ESF data
No ANVUR data
Journal Paper U-Gov ID21249
Year2010
Author(s)D.-K. Tran; C. Ringeissen; S. Ranise; H. Kirchner
TitleCombination of convex theories: Modularity, deduction completeness, and explanation
JournalJOURNAL OF SYMBOLIC COMPUTATION
ISSN0747-7171
Volume45
InternationalNo
1287 0.838 0.817 0.276 -10.0 0.00485 0.691
COMPUTER SCIENCE, THEORY & METHODS 58 97 Q3
MATHEMATICS, APPLIED 103 236 Q2
No ESF data
No ANVUR data
Journal Paper U-Gov ID50380
Year2010
Author(s)S. Ghilardi; S. Ranise
TitleBackward Reachability of Array-based Systems by SMT solving: Termination and Invariant Synthesis
JournalLOGICAL METHODS IN COMPUTER SCIENCE
ISSN1860-5974
Volume6
InternationalNo
190 0.864 N/D 0.082 3.3 0.00209 N/D
COMPUTER SCIENCE, THEORY & METHODS 55 97 Q3
No ESF data
No ANVUR data
Journal Paper U-Gov ID21389
Year2009
Author(s)A. Armando; M. P. Bonacina; S. Ranise; S. Schulz
TitleNew results on rewrite-based satisfiability procedures
JournalACM TRANSACTIONS ON COMPUTATIONAL LOGIC
ISSN1529-3785
Volume10
InternationalNo
404 1.212 N/D 0.486 4.8 0.00225 N/D
COMPUTER SCIENCE, THEORY & METHODS 39 91 Q2
No ESF data
No ANVUR data
Journal Paper U-Gov ID21409
Year2009
Author(s)D. Deharbe; S. Ranise
TitleSatisfiability solving for software verification
JournalINTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER
ISSN1433-2779
Volume11
InternationalNo
No ISI data
No ESF data
No ANVUR data
Journal Paper U-Gov ID21490
Year2009
Author(s)ARMANDO A.; CARBONE R.; COMPAGNA L.
TitleLTL Model Checking for Security Protocols
JournalJOURNAL OF APPLIED NON-CLASSICAL LOGICS
ISSN1166-3081
VolumeN/D
InternationalNo
No ISI data
No ESF data
No ANVUR data
Journal Paper U-Gov ID22073
Year2009
Author(s)D. Déharbe; S. Ranise
TitleSatisfiability solving for software verification
JournalINTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER
ISSN1433-2779
Volume11
InternationalNo
No ISI data
No ESF data
No ANVUR data
Journal Paper U-Gov ID22031
Year2008
Author(s)D. Déharbe; S. Ranise; J. Vidal
Titleprototype implementation of a distributed satisfiability modulo theories solver in the ToolBus framework
JournalJOURNAL OF THE BRAZILIAN COMPUTER SOCIETY
ISSN0104-6500
Volume14
InternationalNo
No ISI data
No ESF data
No ANVUR data
Conference Paper U-Gov ID307012
Year2016
Author(s)Armando, Alessandro; Ranise, Silvio; Traverso, Riccardo; Wrona, Konrad
TitleSMT-based Enforcement and Analysis of NATO Content-based Protection and Release Policies
ConferenceCODASPYData and Application Security and Privacy
PlaceNew Orleans, Louisiana, USA
Book TitleABAC '16 Proceedings of the 2016 ACM International Workshop on Attribute Based Access Control
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID307029
Year2016
Author(s)Sudhodanan, Avinash; Armando, Alessandro; Carbone, Roberto; Compagna, Luca
TitleAttack Patterns for Black-Box Security Testing of Multi-Party Web Applications
Conference23nd Annual Network and Distributed System Security Symposium, {NDSS} 2016
PlaceSan Diego, California, USA
Book TitleProceedings of 23nd Annual Network and Distributed System Security Symposium, {NDSS} 2016
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID307033
Year2016
Author(s)Ranise, Silvio; Carbone, Roberto; Armando, Alessandro; Sciarretta, Giada
TitleSecurity of Mobile Single Sign-On: A Rational Reconstruction of Facebook Login Solution
ConferenceThe 13th International Joint Conference on e-Business and Telecommunications (ICETE) 2016
PlaceLisbon, Portugal
Book TitleProceedings of the 13th International Joint Conference on e-Business and Telecommunications {(ICETE} 2016)
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID307039
Year2016
Author(s)Truong, Anh; Ranise, Silvio
TitleASASPXL: New Clother for Analysing ARBAC Policies
ConferenceFuture Data and Security Engineering - Third International Conference, {FDSE} 2016
PlaceCan Tho City, Vietnam
Book TitleProceedings of Future Data and Security Engineering - Third International Conference, {FDSE} 2016
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID307044
Year2016
Author(s)dos Santos, Daniel R.; Ponta, Serena Elisa; Ranise, Silvio
TitleModular Synthesis of Enforcement Mechanisms for the Workflow Satisfiability Problem
ConferenceSACMAT Symposium on Access Control Models and Technologies
PlaceShanghai, China
Book TitleProceedings of the 21st {ACM} on Symposium on Access Control Models and Technologies, {SACMAT} 2016
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID307053
Year2016
Author(s)Compagna, Luca; dos Santos, Daniel Ricardo; Ponta, Serena Elisa; Ranise, Silvio
TitleCerberus: Automated Synthesis of Enforcement Mechanisms for Security-Sensitive Business Processes
Conference22nd International Conference, TACAS 2016
PlaceEindhoven, The Netherlands
Book TitleTools and Algorithms for the Construction and Analysis of Systems
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID303716
Year2015
Author(s)Armando, Alessandro; Bocci, Gianluca; Costa, Gabriele; Mammoliti, Rocco; Merlo, Alessio; Ranise, Silvio; Traverso, Riccarto; Valenza, Andrea
TitleMobile App Security Assessment with the MAVeriC Dynamic Analysis Module
Conference22nd ACM Conference on Computer and Communications Security
PlaceDenver, Colorado, US
Book TitleProceeding MIST '15 Proceedings of the 7th ACM CCS International Workshop on Managing Insider Security Threats
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID303719
Year2015
Author(s)Armando, Alessandro; Carbone, Roberto; Costa, Gabriele; Merlo, Alessio
TitleAndroid Permissions Unleashed
Conference28th IEEE Computer Security Foundations Symposium
PlaceVerona
Book TitleComputer Security Foundations Symposium (CSF), 2015 IEEE 28th
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID303728
Year2015
Author(s)Armando, Alessandro; Ranise, Silvio; Traverso, Riccardo; Wrona, Konrad
TitleA SMT-based Tool for the Analysis and Enforcement of NATO Content-based Protection and Release Policies
ConferenceACM Symposium on Access Control Models and Technologies (SACMAT)
PlaceVienna, Austria
Book TitleProceeding SACMAT '15 Proceedings of the 20th ACM Symposium on Access Control Models and Technologies
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID303734
Year2015
Author(s)Carbone, Roberto; Compagna, Luca; Panichella, Annibale; Ponta, Serena Elisa
TitleSecurity Threat Identification and Testing
Conference8th {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2015
PlaceGraz, Austria
Book TitleSoftware Testing, Verification and Validation (ICST), 2015 IEEE 8th International Conference on
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID303737
Year2015
Author(s)Bertolissi, Clara; dos Santos, Daniel Ricardo; Ranise, Silvio
TitleAutomated Synthesis of Run-time Monitors to Enforce Authorization Policies in Business Processes
Conference10th ACM Symposium on Information, Computer and Communications Security (ASIACCS 2015)
PlaceSingapore
Book TitleProceeding ASIA CCS '15 Proceedings of the 10th ACM Symposium on Information, Computer and Communications Security
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID303740
Year2015
Author(s)Armando, Alessandro; Ranise, Silvio; Traverso, Riccardo; Wrona, Konrad
TitleCompiling NATO authorization policies for enforcement in the cloud and SDNs
ConferenceIEEE Conference on Communications and Network Security (CNS) 2015
PlaceFlorence, Italy
Book TitleCommunications and Network Security (CNS), 2015 IEEE Conference on
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID303743
Year2015
Author(s)dos Santos, Daniel R.; Ranise, Silvio; Compagna, Luca; Ponta, Serena E.
TitleAssisting the Deployment of Security-Sensitive Workflows by Finding Execution Scenarios
Conference29th Annual IFIP WG 11.3 Working Conference, DBSec 2015
PlaceFairfax, VA, USA
Book TitleData and Applications Security and Privacy XXIX
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID303746
Year2015
Author(s)Turkmen, Fatih; den Hartog, Jerry; Ranise, Silvio; Zannone, Nicola
TitleAnalysis of XACML Policies with SMT
Conference4th International Conference, POST 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015
PlaceLondon, UK
Book TitlePrinciples of Security and Trust
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID303755
Year2015
Author(s)Ranise, Silvio; Truong, Anh; Viganò, Luca
TitleAutomated analysis of RBAC policies with temporal constraints and static role hierarchies
Conference30th Annual {ACM} Symposium on Applied Computing 2015
PlaceSalamanca, Spain
Book TitleProceedings of the 30th Annual {ACM} Symposium on Applied Computing
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID303758
Year2015
Author(s)Ranise, Silvio; Bertolissi, Clara; Uttha, Worachet
TitleModeling Authorization Policies for Web Services in Presence of Transitive Dependencies
Conference12th International Conference on Security and Cryptography (SECRYPT 2015)
PlaceColmar, France
Book TitleSECRYPT 2015 - Proceedings of the 12th International Conference on Security and Cryptography
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID303761
Year2015
Author(s)De Masellis, Riccardo; Ghidini, Chiara; Ranise, Silvio
TitleA Declarative Framework for Specifying and Enforcing Purpose-Aware Policies
Conference1th International Workshop on Security and Trust Management (STM)
PlaceVienna, Austria
Book TitleSecurity and Trust Management, 11th International Workshop, STM 2015, Vienna, Austria, September 21-22, 2015, Proceedings
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID211216
Year2014
Author(s)Armando A.; Carbone R.; Compagna L.
TitleSATMC: a SAT-based Model Checker for Security-critical Systems
Conference20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)
PlaceGrenoble, France
Book TitleTools and Algorithms for the Construction and Analysis of Systems- 20th International Conference, {TACAS} 2014
InternationalNo
Conf. RankA
Conference Paper U-Gov ID226015
Year2014
Author(s)Ranise S.; Truong A.
TitleIncremental analysis of evolving administrative role based access control policies
Conference28th Annual IFIP WG 11.3 Working Conference on Data and Applications Security and Privacy (DBSeC14)
PlaceVienna, Austria
Book TitleData and Applications Security and Privacy XXVIII
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID226016
Year2014
Author(s)Ranise S.; Truong A.; Armando A.
TitleScalable and Precise Automated Analysis of Administrative Temporal Role-Based Access Control
ConferenceACM Symposium on Access Control Models and Technologies (SACMAT14)
PlaceLondon, Ontario, Canada
Book TitleProceedings of the 19th ACM symposium on Access control models and technologies
InternationalNo
Conf. RankC
Conference Paper U-Gov ID226218
Year2014
Author(s)Armando A.; Carbone R.; Chekole E. G.; Ranise S.
TitleAttribute Based Access Control for APIs in Spring Security
ConferenceACM Symposium on Access Control Models and Technologies (SACMAT14)
PlaceLondon, Ontario, Canada
Book TitleSACMAT '14 Proceedings of the 19th ACM symposium on Access control models and technologies
InternationalNo
Conf. RankC
Conference Paper U-Gov ID226615
Year2014
Author(s)Armando A.; Oudkerk S.; Ranise S.; Wrona K.
TitleFormal Modelling of Content-Based Protection and Release for Access Control in NATO Operations
ConferenceFoundations and Practice of Security - 6th International Symposium, FPS 2013
PlaceLa Rochelle, France
Book TitleFoundations and Practice of Security
InternationalYes
Conf. RankN/D
Conference Paper U-Gov ID251431
Year2014
Author(s)Ranise S.; Traverso R.
TitleALPS: An Action Language for Policy Specification and Automated Safety Analysis
ConferenceN/D
PlaceN/D
Book TitleSecurity and Trust Management - 10th International Workshop, STM 2014
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID251631
Year2014
Author(s)Armando A.; Carbone R.; Chekole E. G.; Petrazzuolo C.; Ranalli A.; Ranise S.
TitleSelective Release of Smart Metering Data in Multi-domain Smart Grids
ConferenceSecond International Workshop, SmartGridSec 2014
PlaceMunich, Germany
Book TitleSmart Grid Security
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID101602
Year2013
Author(s)S. Ranise; A. Truong; A. Armando
TitleBoosting Model Checking to Analyse Large ARBAC Policies
ConferenceSecurity and Trust Management-STM'2012
PlacePisa, Italy
Book TitleSTM 2012
InternationalNo
Conf. RankC
Conference Paper U-Gov ID151202
Year2013
Author(s)A. Armando; R. Carbone; L. Zanetti
TitleFormal Modeling and Automatic Security Analysis of Two-Factor and Two-Channel Authentication Protocols
Conference7th International Conference on Network and System Security (NSS 2013)
PlaceMadrid, Spain
Book TitleN/D
InternationalNo
Conf. RankB
Conference Paper U-Gov ID180613
Year2013
Author(s)Armando A.; Grasso M.; Oudkerk S.; Ranise S.; Wrona K.
TitleContent- based information protection and release in NATO operations
ConferenceN/D
PlaceN/D
Book TitleSymposium on Access Control Models and Technologies (SACMAT)
InternationalYes
Conf. RankC
Conference Paper U-Gov ID180614
Year2013
Author(s)Bertolissi C.; Ranise S.
TitleVerification of Composed Array-based Systems with Applications to Security-Aware Workflows
ConferenceN/D
PlaceN/D
Book TitleSymposium on Frontiers of Combining Systems (FroCoS)
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID222616
Year2013
Author(s)C. Bertolissi; S. Ranise
TitleA Methodology to build run-time Monitors for Security-Aware Workflows
ConferenceThe 8th International Conference for Internet Technology and Secured Transactions (ICITST-2013)
Place09/12/2013-12/12/2013
Book TitleProceedings of the 8th International Conference for Internet Technology and Secured Transactions
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID81001
Year2012
Author(s)A. Armando; G. Pellegrino; R. Carbone; A. Merlo; D. Balzarotti
TitleFrom Model-checking to Automated Testing of Security Protocols: Bridging the Gap
Conference6th International Conference, TAP 2012
PlacePrague, Czech Republic
Book TitleTESTS AND PROOFS
InternationalNo
Conf. RankB
Conference Paper U-Gov ID101203
Year2012
Author(s)R. Bruttomesso; A. Carioni; S. Ghilardi; S. Ranise
TitleAutomated Analysis of Parametric Timing-Based Mutual Exclusion Algorithms
ConferenceNASA Formal Methods - 4th International Symposium, NFM 2012
PlaceNorfolk, VA, USA
Book TitleN/D
InternationalNo
Conf. RankC
Conference Paper U-Gov ID101204
Year2012
Author(s)F. Alberti; R. Bruttomesso; S. Ghilardi; S. Ranise; N. Sharygina
TitleLazy Abstraction with Interpolants for Arrays
ConferenceLogic for Programming, Artificial Intelligence, and Reasoning - 18th International Conference, LPAR-18
PlaceMerida, Venezuela
Book TitleN/D
InternationalNo
Conf. RankA
Conference Paper U-Gov ID101205
Year2012
Author(s)R. Bruttomesso; S. Ghilardi; S. Ranise
TitleFrom Strong Amalgamability to Modularity of Quantifier-Free Interpolation
ConferenceAutomated Reasoning - 6th International Joint Conference, IJCAR 2012
PlaceManchester, UK
Book TitleN/D
InternationalNo
Conf. RankA
Conference Paper U-Gov ID101206
Year2012
Author(s)A. Armando; S. Ranise
TitleAutomated and Efficient Analysis of Role-Based Access Control with Attributes
ConferenceData and Applications Security and Privacy XXVI - 26th Annual IFIP WG 11.3 Conference, DBSec 2012
PlaceParis, France
Book TitleN/D
InternationalNo
Conf. RankB
Conference Paper U-Gov ID101401
Year2012
Author(s)A. Armando; S. Ranise; F. Turkmen; B. Crispo
TitleEfficient run-time solving of RBAC user authorization queries: pushing the envelope
ConferenceSecond ACM Conference on Data and Application Security and Privacy, CODASPY 2012
PlaceSan Antonio, TX, USA
Book TitleN/D
InternationalNo
Conf. RankA
Conference Paper U-Gov ID101402
Year2012
Author(s)F. Alberti; R. Bruttomesso; S. Ghilardi; S. Ranise; N. Sharygina
TitleSAFARI: SMT-Based Abstraction for Arrays with Interpolants
ConferenceComputer Aided Verification - 24th International Conference, CAV 2012
PlaceBerkeley, CA, USA
Book TitleN/D
InternationalNo
Conf. RankA
Conference Paper U-Gov ID101403
Year2012
Author(s)S. Ranise; A. Armando
TitleOn the Automated Analysis of Safety in Usage Control: A New Decidability Result
Conference6th International Conference on Network and System Security, NSS'2012
PlaceWu Yi Shan, Fujian, China
Book TitleN/D
InternationalNo
Conf. RankB
Conference Paper U-Gov ID101601
Year2012
Author(s)M. Barletta; S. Ranise; L. Vigano
TitleAutomated Analysis of Scenario-based Specifications of Distributed Access Control Policies with Non-Mechanizable Activities
ConferenceSecurity and Trust Management-STM'2012
PlacePisa, Italy
Book TitleN/D
InternationalNo
Conf. RankC
Conference Paper U-Gov ID104417
Year2012
Author(s)A. Armando; W. Arsac; T. Avanesov; M. Barletta; A. Calvi; A. Cappai; R. Carbone; Y. Chevalier; L. Compagna; J. Cuéllar; G. Erzse; S. Frau; M. Minea; S. Mödersheim; D. von Oheimb; G. Pellegrino; S. E. Ponta; M. Rocchetto; M. Rusinowitch; M. Torabi Dashti; M. Turuani; L. Viganò
TitleThe AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures
ConferenceTACAS 2012
PlaceTalling, Estonia
Book TitleTOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS
InternationalNo
Conf. RankA
Conference Paper U-Gov ID151201
Year2012
Author(s)A. Armando; R. Carbone; A. Merlo
TitleFormal Analysis of a Privacy-Preserving Billing Protocol
Conference1st EIT ICT Labs Workshop on Smart Grid Security (SmartGridSec 2012)
PlaceBerlin, Germnay
Book TitleN/D
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID21617
Year2011
Author(s)Alberti F.; Armando A.; Ranise S.
TitleEfficient Symbolic Automated Analysis of Administrative Attribute-based RBAC-Policies
Conference6th ACM Symposium on Information, Computer and Communications Security (ASIACCS'10)
PlaceHong Kong
Book TitleProceedings of the 6th ACM Symposium on Information, Computer and Communications Security (ASIACCS)
InternationalNo
Conf. RankB
Conference Paper U-Gov ID21635
Year2011
Author(s)Armando A.; Ranise S.
TitleAutomated Symbolic Analysis of ARBAC Policies
Conference6th International Workshop on Security and Trust Management (STM'10)
PlaceAthens, Greece
Book TitleProceedings of 6th International Workshop on Security and Trust Management (STM)
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID38003
Year2011
Author(s)A. Armando; R. Carbone; L. Compagna; J. Cuellar; G. Pellegrino; A. Sorniotti
TitleFrom Multiple Credentials to Browser-based Single Sign-On: Are We More Secure?
Conference26th IFIP TC-11 International Information Security Conference (SEC 2011)
PlaceLuzern, Switzerland
Book TitleN/D
InternationalNo
Conf. RankB
Conference Paper U-Gov ID50383
Year2011
Author(s)R. Bruttomesso; S. Ghilardi; S. Ranise
TitleRewriting-based Quantifier-free Interpolation for a Theory of Arrays
Conference22nd Int. Conf. on Rewriting Techniques and Applications (RTA '11)
PlaceNovi Sad, Serbia
Book TitleN/D
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID50384
Year2011
Author(s)F. Alberti; A. Armando; S. Ranise
TitleASASP: Automated Symbolic Analysis of Security Policies
Conference23rd Conference on Automated Deduction (CADE)
PlaceWroclow, Poland
Book TitleN/D
InternationalNo
Conf. RankA
Conference Paper U-Gov ID50385
Year2011
Author(s)A. Armando; S. Ranise
TitleAutomated Analysis of Infinite State Workflows with Access Control Policies
Conference7th Int. Workshop on Security and Trust Management
PlaceCopenhagen, Denmark
Book TitleN/D
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID50386
Year2011
Author(s)A. Carioni; S. Ghilardi; S. Ranise
TitleAutomated Termination in Model Checking Modulo Theories
Conference5th Int. Workshop on Reachability Problems (RP 11)
PlaceGenova, Italy
Book TitleN/D
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID50387
Year2011
Author(s)R. Bruttomesso; S. Ghilardi; S. Ranise
TitleA Combination of Rewriting and Constraint Solving for the Quantifier-free Interpolation of Arrays with Integer Difference Constraints
Conference8th Int. Symp. on Frontiers of Combining Systems (FroCoS'11)
PlaceSaarbruecken, Germany
Book TitleN/D
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID50388
Year2011
Author(s)A. Armando; R. Carbone; S. Ranise
TitleAutomated Analysis of Semantic-Aware Access Control Policies: a Logic-based Approach
ConferenceIEEE Int. Workshop on Semantics, Security, and Privacy (TCSEM + TCSP)
PlaceStanford Univ., Palo Alto, CA, USA
Book TitleN/D
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID50394
Year2011
Author(s)G. Gheorghe; B. Crispo; R. Carbone; L. Desmet; W. Joosen
TitleDeploy, Adjust and Readjust: Supporting Dynamic Reconfiguration of Policy Enforcement
ConferenceACM/IFIP/USENIX 12th International Middleware Conference
PlaceLisboa, Portugal
Book TitleMiddleware 2011
InternationalNo
Conf. RankA
Conference Paper U-Gov ID270624
Year2011
Author(s)Barrett C.; de Moura L.; Ranise S.; Stump A.; Tinelli C.
TitleThe {SMT-LIB} Initiative and the Rise of {SMT} - {(HVC} 2010 Award Talk)
ConferenceHaifa Verification Conference 2010
PlaceIsrael
Book TitleHardware and Software: Verification and Testing
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID21309
Year2010
Author(s)S. Ghilardi; S. Ranise
TitleMCMT: A Model Checker Modulo Theories
ConferenceAutomated Reasoning, 5th International Joint Conference, IJCAR 2010
PlaceEdinburgh, UK
Book TitleN/D
InternationalNo
Conf. RankA
Conference Paper U-Gov ID21329
Year2010
Author(s)F. Alberti; S. Ghilardi; E. Pagani; S. Ranise; G. P. Rossi
TitleBrief Announcement: Automated Support for the Design and Validation of Fault Tolerant Parameterized Systems - A Case Study
ConferenceDistributed Computing, 24th International Symposium, DISC 2010
PlaceCambridge, MA, USA
Book TitleN/D
InternationalNo
Conf. RankA
Conference Paper U-Gov ID22251
Year2010
Author(s)A. Armando; R. Carbone; L. Compagna; L. Keqin; G. Pellegrino
TitleModel-Checking Driven Security Testing of Web-Based Applications
ConferenceThird International Conference on Software Testing, Verification, and Validation Workshops (ICSTW)
PlaceParis France
Book TitleN/D
InternationalNo
Conf. RankC
Conference Paper U-Gov ID50391
Year2010
Author(s)M. Barletta; A. Calvi; S. Ranise; L. Vigano; L. Zanetti
TitleWSSMT: Towards the Automated Analysis of Security-Sensitive Services and Applications
Conference1st Workshop on Software Service (satellite of SYNASC symposium)
PlaceTimisoara, Romania
Book TitleN/D
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID50392
Year2010
Author(s)A. Calvi; S. Ranise; L. Vigano
TitleAutomated Validation of Security-sensitive Web Services specified in BPEL and RBAC
Conference1st Workshop on Software Service (satellite of SYNASC symposium)
PlaceTimisoara, Romania
Book TitleN/D
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID21330
Year2009
Author(s)M. Barletta; S. Ranise; L. Viganò:
TitleVerifying the Interplay of Authorization Policies and Workflow in Service-Oriented Architectures
ConferenceComputational Science and Engineering, 2009. CSE '09. International Conference on
PlaceVancouver, BC, Canada
Book TitleN/D
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID21349
Year2009
Author(s)S. Ghilardi; S. Ranise
TitleGoal-Directed Invariant Synthesis for Model Checking Modulo Theories
Conferenceutomated Reasoning with Analytic Tableaux and Related Methods, 18th International Conference, TABLEAUX 2009
PlaceOslo, Norway
Book TitleN/D
InternationalNo
Conf. RankA
Conference Paper U-Gov ID21369
Year2009
Author(s)S. Ghilardi; S. Ranise; T. Valsecchi
TitleLight-Weight SMT-based Model Checking
ConferenceEighth International Workshop on Automated Verification of Critical Systems (AVoCS 2008)
PlaceGlasgow, Scotland, UK
Book TitleN/D
InternationalNo
Conf. RankN/D
Conference Paper U-Gov ID22074
Year2009
Author(s)S. Ghilardi; S. Ranise
TitleGoal-Directed Invariant Synthesis for Model Checking Modulo Theories
ConferenceAutomated Reasoning with Analytic Tableaux and Related Methods
PlaceOslo, Norway
Book TitleN/D
InternationalNo
Conf. RankA
Conference Paper U-Gov ID21449
Year2008
Author(s)S. Ghilardi; E. Nicolini; S. Ranise; D. Zucchelli
TitleTowards SMT Model Checking of Array-Based Systems
ConferenceAutomated Reasoning, 4th International Joint Conference, IJCAR 2008
PlaceSydney, Australia
Book TitleN/D
InternationalNo
Conf. RankA
Conference Paper U-Gov ID21631
Year2008
Author(s)Armando A.; Carbone R.; Compagna L.; Cuellar J.; Tobarra L.
TitleFormal Analysis of SAML 2.0 Web Browser Single Sign-On: Breaking the SAML-based Single Sign-On for Google Apps.
Conference6th ACM Workshop on Formal Methods in Security Engineering (FMSE 2008)
PlaceAlexandria, Virginia, USA
Book TitleProceedings of the 6th ACM Workshop on Formal Methods in Security Engineering (FMSE 2008)
InternationalNo
Conf. RankC
Book Chapter U-Gov ID50393
Year2012
Author(s)A. Armando; R. Carbone; L. Compagna; G. Pellegrino
TitleAutomatic Security Analysis of SAML-based Single Sign-On Protocols
Book TitleDigital Identity and Access Management: Technologies and Frameworks
InternationalNo
Book Chapter U-Gov ID37997
Year2011
Author(s)R. Carbone; M. Minea; S. A. Mödersheim; S. E. Ponta; M. Turuani; L. Viganò
TitleTowards Formal Validation of Trust and Security in the Internet of Services
Book TitleThe Future Internet
InternationalNo
Book Chapter U-Gov ID22249
Year2009
Author(s)C. Rudolph; L. Compagna; R. Carbone; A. Muñoz; J. Repp
TitleVerification of S&D Solutions for Network Communications and Devices
Book TitleSecurity and Dependability for Ambient Intelligence
InternationalNo
Editorship U-Gov ID307064
Year2016
Author(s)Ranise, Silvio; Swarup, Vipin
TitleData and Applications Security and Privacy {XXX}
JournalN/D
BookN/D
VolumeN/D
PublisherSpringer International Publishing
InternationalNo
Editorship U-Gov ID303765
Year2015
Author(s)Lutz, Carsten; Ranise, Silvio
TitleFrontiers of Combining Systems, 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings
JournalN/D
BookN/D
Volume9322
PublisherSpringer International Publishing
InternationalNo
Editorship U-Gov ID21429
Year2009
Author(s)S. Ranise; U. Hustadt
TitlePreface
JournalANNALS OF MATHEMATICS AND OF ARTIFICIAL INTELLIGENCE
BookN/D
Volume55
PublisherN/D
InternationalNo
Other U-Gov ID303764
Year2015
Author(s)Daniel, Ricardo dos Santos; Silvio, Ranise; Serena, Elisa Ponta
TitleModularity for Security-Sensitive Workflows
InternationalNo

           (\-.  +-------------------------------------------------+
           / _`> |         RAT - Research Assessment Tool          |
   _)     / _)=  | (C) 2011--2014 - FBK _ Fondazione Bruno Kessler |
  (      / _/    |                      v2.2                       |
   `-.__(___)_   +-------------------------------------------------+