Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Fabio Martinelli
2010 – today
- 2013
[j47]Mariantonietta La Polla, Fabio Martinelli, Daniele Sgandurra: A Survey on Security for Mobile Devices. IEEE Communications Surveys and Tutorials 15(1): 446-471 (2013)- [j46]Gianpiero Costantino, Fabio Martinelli, Paolo Santi: Privacy-Preserving Interest-Cast for Android Smartphones. ERCIM News 2013(93) (2013)
- [j45]
- [j44]Leanid Krautsevich, Aliaksandr Lazouski, Fabio Martinelli, Artsiom Yautsiukhin: Cost-Effective Enforcement of Access and Usage Control Policies Under Uncertainties. IEEE Systems Journal 7(2): 223-235 (2013)
- [c85]Pietro Caputo, Fabio Martinelli, Alistair Sinclair, Alexandre Stauffer: Random lattice triangulations: structure and algorithms. STOC 2013: 615-624
- 2012
- [j43]Stefano Bistarelli, Fabio Martinelli, Francesco Santini: A semiring-based framework for the deduction/abduction reasoning in access control with weighted credentials. Computers & Mathematics with Applications 64(4): 447-462 (2012)
- [j42]Gabriele Costa, Pierpaolo Degano, Fabio Martinelli: Modular plans for secure service composition. Journal of Computer Security 20(1): 81-117 (2012)
- [j41]J. A. Martín, Fabio Martinelli, E. Pimentel: Synthesis of secure adaptors. J. Log. Algebr. Program. 81(2): 99-126 (2012)
- [j40]Fabio Martinelli, Ilaria Matteucci: A framework for automatic generation of security controller. Softw. Test., Verif. Reliab. 22(8): 563-582 (2012)
- [c84]Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi, Luca Wiegand: A Formal Support for Collaborative Data Sharing. CD-ARES 2012: 547-561
- [c83]Fabio Martinelli, Charles Morisset: Quantitative access control with partially-observable Markov decision processes. CODASPY 2012: 169-180
- [c82]Leanid Krautsevich, Fabio Martinelli, Artsiom Yautsiukhin: Towards Modelling Adaptive Attacker's Behaviour. FPS 2012: 357-364
- [c81]Aliaksandr Lazouski, Gaetano Mancini, Fabio Martinelli, Paolo Mori: Usage control in cloud systems. ICITST 2012: 202-207
- [c80]Gianluca Dini, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi, Andrea Saracino, Daniele Sgandurra: A Multi-criteria-Based Evaluation of Android Applications. INTRUST 2012: 67-82
- [c79]Peter Drábik, Fabio Martinelli, Charles Morisset: A Quantitative Approach for Inexact Enforcement of Security Policies. ISC 2012: 306-321
- [c78]Fabio Martinelli, Ilaria Matteucci, Charles Morisset: From Qualitative to Quantitative Enforcement of Security Policy. MMM-ACNS 2012: 22-35
- [c77]Gianluca Dini, Fabio Martinelli, Andrea Saracino, Daniele Sgandurra: MADAM: A Multi-level Anomaly Detector for Android Malware. MMM-ACNS 2012: 240-253
- [c76]Gianpiero Costantino, Fabio Martinelli, Paolo Santi, Dario Amoruso: An implementation of secure two-party computation for smartphones with application to privacy-preserving interest-cast. MOBICOM 2012: 447-450
- [c75]V. Ciancia, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi, J. A. Martín, E. Pimentel: A tool for the synthesis of cryptographic orchestrators. MDsec 2012: 10
- [c74]Georgios Karopoulos, Paolo Mori, Fabio Martinelli: Continuous Authorizations in SIP with Usage Control. PDP 2012: 283-287
- [c73]Gianpiero Costantino, Fabio Martinelli, Paolo Santi, Dario Amoruso: An implementation of secure two-party computation for smartphones with application to privacy-preserving interest-cast. PST 2012: 9-16
- [c72]Roberto Di Pietro, Fabio Martinelli, Nino Vincenzo Verde: Broadcast Authentication for Resource Constrained Devices: A Major Pitfall and Some Solutions. SRDS 2012: 213-218
- [c71]Peter Drábik, Fabio Martinelli, Charles Morisset: Cost-Aware Runtime Enforcement of Security Policies. STM 2012: 1-16
- [c70]Aliaksandr Lazouski, Fabio Martinelli, Paolo Mori: A Prototype for Enforcing Usage Control Policies Based on XACML. TrustBus 2012: 79-92
- [c69]Gianpiero Costantino, Fabio Martinelli, Paolo Santi: Privacy-preserving interest-casting in opportunistic networks. WCNC 2012: 2829-2834
- [c68]Gabriele Costa, Fabio Martinelli, Artsiom Yautsiukhin: Metric-Aware Secure Service Orchestration. ICE 2012: 32-46
- [e10]Fabio Martinelli, Jean-Louis Lanet, William M. Fitzgerald, Simon N. Foley (Eds.): 7th International Conference on Risks and Security of Internet and Systems, CRiSIS 2012, Cork, Ireland, October 10-12, 2012. IEEE Computer Society 2012, ISBN 978-1-4673-3087-9
- [e9]Sara Foresti, Moti Yung, Fabio Martinelli (Eds.): Computer Security - ESORICS 2012 - 17th European Symposium on Research in Computer Security, Pisa, Italy, September 10-12, 2012. Proceedings. Lecture Notes in Computer Science 7459, Springer 2012, ISBN 978-3-642-33166-4
- 2011
- [j39]Gabriele Costa, Pierpaolo Degano, Fabio Martinelli: Secure service orchestration in open networks. Journal of Systems Architecture - Embedded Systems Design 57(3): 231-239 (2011)
- [j38]Pietro Caputo, Fabio Martinelli, Fabio Lucio Toninelli: Convergence to equilibrium of biased plane Partitions. Random Struct. Algorithms 39(1): 83-114 (2011)
- [j37]David Galvin, Fabio Martinelli, Kavita Ramanan, Prasad Tetali: The Multistate Hard Core Model on a Regular Tree. SIAM J. Discrete Math. 25(2): 894-915 (2011)
- [c67]Leanid Krautsevich, Aliaksandr Lazouski, Fabio Martinelli, Artsiom Yautsiukhin: Cost-effective Enforcement of UCONA Policies. CRiSIS 2011: 70-77
- [c66]Leanid Krautsevich, Fabio Martinelli, Charles Morisset, Artsiom Yautsiukhin: Risk-Based Auto-delegation for Probabilistic Availability. DPM/SETOP 2011: 206-220
- [c65]Fabio Martinelli, Paolo Mori: A Distributed Authorization System with Mobile Usage Control Policies. EUROCAST (1) 2011: 56-63
- [c64]Wouter Joosen, Javier Lopez, Fabio Martinelli, Fabio Massacci: Engineering Secure Future Internet Services. Future Internet Assembly 2011: 177-192
- [c63]Pietro Caputo, Fabio Martinelli, Fabio Lucio Toninelli: Sharp Mixing Time Bounds for Sampling Random Surfaces. FOCS 2011: 130-139
- [c62]Leanid Krautsevich, Fabio Martinelli, Artsiom Yautsiukhin: A General Method for Assessment of Security in Complex Services. ServiceWave 2011: 153-164
- [c61]Gabriele Costa, Valérie Issarny, Fabio Martinelli, Ilaria Matteucci, Rachid Saadi: Security and Trust. SFM 2011: 393-416
- [c60]Leanid Krautsevich, Fabio Martinelli, Artsiom Yautsiukhin: Formal Analysis of Security Metrics and Risk. WISTP 2011: 304-319
- 2010
- [j36]Levente Buttyán, László Dóra, Fabio Martinelli, Marinella Petrocchi: Fast certificate-based authentication scheme in multi-operator maintained wireless mesh networks. Computer Communications 33(8): 907-922 (2010)
- [j35]Gabriele Costa, Fabio Martinelli, Paolo Mori, Christian Schaefer, Thomas Walter: Runtime monitoring for next generation Java ME platform. Computers & Security 29(1): 74-87 (2010)
- [j34]Aliaksandr Lazouski, Fabio Martinelli, Paolo Mori: Usage control in computer security: A survey. Computer Science Review 4(2): 81-99 (2010)
- [j33]Gabriele Costa, Francesco La Torre, Fabio Martinelli, Paolo Mori: Parental Control for Mobile Devices. ERCIM News 2010(82): 61-62 (2010)
- [j32]Fabio Martinelli, Paolo Mori: On usage control for GRID systems. Future Generation Comp. Syst. 26(7): 1032-1042 (2010)
- [j31]Theo Dimitrakos, Fabio Martinelli, Bruce Schneier: Special issue on security and trust management for dynamic coalitions. Security and Communication Networks 3(6): 453-455 (2010)
- [c59]Stefano Bistarelli, Fabio Martinelli, Francesco Santini: A Formal Framework for Trust Policy Negotiation in Autonomic Systems: Abduction with Soft Constraints. ATC 2010: 268-282
- [c58]Gabriele Costa, Nicola Dragoni, Aliaksandr Lazouski, Fabio Martinelli, Fabio Massacci, Ilaria Matteucci: Extending Security-by-Contract with Quantitative Trust on Mobile Devices. CISIS 2010: 872-877
- [c57]Leanid Krautsevich, Fabio Martinelli, Artsiom Yautsiukhin: Formal approach to security metrics.: what does "more secure" mean for you? ECSA Companion Volume 2010: 162-169
- [c56]Gabriele Costa, Pierpaolo Degano, Fabio Martinelli: Modular Plans for Secure Service Composition. ARSPA-WITS 2010: 41-58
- [c55]Gabriela Gheorghe, Paolo Mori, Bruno Crispo, Fabio Martinelli: Enforcing UCON Policies on the Enterprise Service Bus. OTM Conferences (2) 2010: 876-893
- [c54]Leanid Krautsevich, Aliaksandr Lazouski, Fabio Martinelli, Artsiom Yautsiukhin: Risk-Based Usage Control for Service Oriented Architecture. PDP 2010: 641-648
- [c53]Leanid Krautsevich, Aliaksandr Lazouski, Fabio Martinelli, Artsiom Yautsiukhin: Influence of Attribute Freshness on Decision Making in Usage Control. STM 2010: 35-50
- [c52]Leanid Krautsevich, Aliaksandr Lazouski, Fabio Martinelli, Paolo Mori, Artsiom Yautsiukhin: Usage Control, Risk and Trust. TrustBus 2010: 1-12
- [p1]Maurizio Colombo, Aliaksandr Lazouski, Fabio Martinelli, Paolo Mori: Access and Usage Control in Grid Systems. Handbook of Information and Communication Security 2010: 293-308
- [e8]Fabio Martinelli, Bart Preneel (Eds.): Public Key Infrastructures, Services and Applications - 6th European Workshop, EuroPKI 2009, Pisa, Italy, September 10-11, 2009, Revised Selected Papers. Lecture Notes in Computer Science 6391, Springer 2010, ISBN 978-3-642-16440-8
- [i1]Fabio Martinelli, Alistair Sinclair: Mixing Time for the Solid-on-Solid Model. CoRR abs/1008.0125 (2010)
2000 – 2009
- 2009
- [j30]Roberto Gorrieri, Fabio Martinelli, Ilaria Matteucci: Towards Information Flow Properties for Distributed Systems. Electr. Notes Theor. Comput. Sci. 236: 65-84 (2009)
- [j29]
- [j28]Hristo Koshutanski, Aliaksandr Lazouski, Fabio Martinelli, Paolo Mori: Enhancing grid security by fine-grained behavioral control and negotiation-based authorization. Int. J. Inf. Sec. 8(4): 291-314 (2009)
- [j27]Massimo Bartoletti, Gabriele Costa, Pierpaolo Degano, Fabio Martinelli, Roberto Zunino: Securing Java with Local Policies. Journal of Object Technology 8(4): 5-32 (2009)
- [c51]Fabio Martinelli, Marinella Petrocchi: Executable Specification of Cryptofraglets in Maude for Security Verification. BIONETICS 2009: 11-23
- [c50]Maurizio Colombo, Fabio Martinelli, Paolo Mori, Aliaksandr Lazouski: On Usage Control for GRID Services. CSO (1) 2009: 47-51
- [c49]Fabio Martinelli, Ilaria Matteucci: Idea: Action Refinement for Security Properties Enforcement. ESSoS 2009: 37-42
- [c48]Federico Stagni, Alvaro Arenas, Benjamin Aziz, Fabio Martinelli: On Usage Control in Data Grids. IFIPTM 2009: 99-116
- [c47]Giuseppe Amato, Paolo Bolettieri, Gabriele Costa, Francesco La Torre, Fabio Martinelli: Detection of images with adult content for parental control on mobile devices? Mobility Conference 2009
- [c46]
- [e7]Pierpaolo Degano, Joshua D. Guttman, Fabio Martinelli (Eds.): Formal Aspects in Security and Trust, 5th International Workshop, FAST 2008, Malaga, Spain, October 9-10, 2008, Revised Selected Papers. Lecture Notes in Computer Science 5491, Springer 2009
- [e6]Pierangela Samarati, Moti Yung, Fabio Martinelli, Claudio Agostino Ardagna (Eds.): Information Security, 12th International Conference, ISC 2009, Pisa, Italy, September 7-9, 2009. Proceedings. Lecture Notes in Computer Science 5735, Springer 2009, ISBN 978-3-642-04473-1
- 2008
- [j26]Fabio Martinelli, Fabio Massacci, Paolo Mori, Christian Schaefer, Thomas Walter: Enhancing Java ME Security Support with Resource Usage Monitoring. ERCIM News 2008(75) (2008)
- [j25]Roberto Gorrieri, Fabio Martinelli, Marinella Petrocchi: Formal Models and Analysis of Secure Multicast in Wired and Wireless Networks. J. Autom. Reasoning 41(3-4): 325-364 (2008)
- [c45]Fabio Martinelli, Ilaria Matteucci: Synthesis of Local Controller Programs for Enforcing Global Security Properties. ARES 2008: 1120-1127
- [c44]Stefano Bistarelli, Fabio Martinelli, Francesco Santini: Weighted Datalog and Levels of Trust. ARES 2008: 1128-1134
- [c43]Stefano Bistarelli, Fabio Martinelli, Francesco Santini: A Semantic Foundation for Trust Management Languages with Weights: An Application to the RTFamily. ATC 2008: 481-495
- [c42]Alessandro Castrucci, Fabio Martinelli, Paolo Mori, Francesco Roperti: Enhancing Java ME Security Support with Resource Usage Monitoring. ICICS 2008: 256-266
- [c41]Stefano Campanelli, Alessandro Falleni, Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli: Mobile Implementation and Formal Verification of an e-Voting System. ICIW 2008: 476-481
- [c40]Gabriele Lenzini, Fabio Martinelli, Ilaria Matteucci, Stefania Gnesi: A Uniform Approach to Security and Fault-Tolerance Specification and Analysis. WADS 2008: 172-201
- [c39]Fabio Martinelli, Paolo Mori, Thomas B. Quillinan, Christian Schaefer: A Runtime Monitoring Environment for Mobile Java. ICST Workshops 2008: 270-278
- [c38]Paolo Greci, Fabio Martinelli, Ilaria Matteucci: A Framework for Contract-Policy Matching Based on Symbolic Simulations for Securing Mobile Device Application. ISoLA 2008: 221-236
- [c37]Syed Naqvi, Philippe Massonet, Benjamin Aziz, Alvaro Arenas, Fabio Martinelli, Paolo Mori, Lorenzo Blasi, Giovanni Cortese: Fine-Grained Continuous Usage Control of Service Based Grids - The GridTrust Approach. ServiceWave 2008: 242-253
- [c36]Benjamin Aziz, Alvaro Arenas, Fabio Martinelli, Ilaria Matteucci, Paolo Mori: Controlling Usage in Business Process Workflows through Fine-Grained Security Policies. TrustBus 2008: 100-117
- 2007
- [j24]Fabio Martinelli, Ilaria Matteucci: An Approach for the Specification, Verification and Synthesis of Secure Systems. Electr. Notes Theor. Comput. Sci. 168: 29-43 (2007)
- [j23]Fabio Martinelli, Marinella Petrocchi: On Relating and Integrating Two Trust Management Frameworks. Electr. Notes Theor. Comput. Sci. 168: 191-205 (2007)
- [j22]Fabio Martinelli, Ilaria Matteucci: Through Modeling to Synthesis of Security Automata. Electr. Notes Theor. Comput. Sci. 179: 31-46 (2007)
- [j21]Fabio Martinelli, Marinella Petrocchi: A Uniform Framework for Security and Trust Modeling and Analysis with Crypto-CCS. Electr. Notes Theor. Comput. Sci. 186: 85-99 (2007)
- [j20]Maurice H. ter Beek, Stefania Gnesi, Fabio Martinelli, Franco Mazzanti, Marinella Petrocchi: Formal Modelling and Verification in Service-Oriented Computing. ERCIM News 2007(70) (2007)
- [j19]Theodosis Dimitrakos, Fabio Martinelli, Peter Y. A. Ryan, Steve Schneider: Guest Editors' Preface. Int. J. Inf. Sec. 6(2-3): 65-66 (2007)
- [j18]Fabio Martinelli, Alistair Sinclair, Dror Weitz: Fast mixing for independent sets, colorings, and other models on trees. Random Struct. Algorithms 31(2): 134-172 (2007)
- [c35]Maurizio Colombo, Fabio Martinelli, Paolo Mori, Anna Vaccarelli: Extending the Globus Architecture with Role-Based Trust Management. EUROCAST 2007: 448-456
- [c34]Fabio Martinelli, Paolo Mori: Enhancing Java Security with History Based Access Control. FOSAD 2007: 135-159
- [c33]Maurizio Colombo, Fabio Martinelli, Paolo Mori, Marinella Petrocchi, Anna Vaccarelli: Fine Grained Access Control with Trust and Reputation Management for Globus. OTM Conferences (2) 2007: 1505-1515
- [c32]
- [c31]
- [c30]Fabio Martinelli, Ilaria Matteucci: Synthesis of Web Services Orchestrators in a Timed Setting. WS-FM 2007: 124-138
- [e5]Theodosis Dimitrakos, Fabio Martinelli, Peter Y. A. Ryan, Steve A. Schneider (Eds.): Formal Aspects in Security and Trust, Fourth International Workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006, Revised Selected Papers. Lecture Notes in Computer Science 4691, Springer 2007, ISBN 978-3-540-75226-4
- 2006
- [j17]Roberto Gorrieri, Fabio Martinelli, Marinella Petrocchi: A Formalization of Credit and Responsibility Within the GNDC Schema. Electr. Notes Theor. Comput. Sci. 157(3): 61-78 (2006)
- [j16]Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli: Formal analysis of some secure procedures for certificate delivery. Softw. Test., Verif. Reliab. 16(1): 33-59 (2006)
- [c29]Hristo Koshutanski, Fabio Martinelli, Paolo Mori, Anna Vaccarelli: Fine-grained and History-based Access Control with Trust Management for Autonomic Grid Services. ICAS 2006: 34
- [c28]Hristo Koshutanski, Fabio Martinelli, Paolo Mori, Luca Borz, Anna Vaccarelli: A Fine-Grained and X.509-Based Access Control System for Globus. OTM Conferences (2) 2006: 1336-1350
- [e4]Theodosis Dimitrakos, Fabio Martinelli, Peter Y. A. Ryan, Steve A. Schneider (Eds.): Formal Aspects in Security and Trust, Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers. Lecture Notes in Computer Science 3866, Springer 2006, ISBN 3-540-32628-6
- [e3]Ketil Stølen, William H. Winsborough, Fabio Martinelli, Fabio Massacci (Eds.): Trust Management, 4th International Conference, iTrust 2006, Pisa, Italy, May 16-19, 2006, Proceedings. Lecture Notes in Computer Science 3986, Springer 2006, ISBN 3-540-34295-8
- 2005
- [j15]Fabrizio Baiardi, Alessandro Falleni, Riccardo Granchi, Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli: SEAS, a secure e-voting protocol: Design and implementation. Computers & Security 24(8): 642-652 (2005)
- [j14]Stefania Gnesi, Gabriele Lenzini, Fabio Martinelli: Logical Specification and Analysis of Fault Tolerant Systems Through Partial Model Checking. Electr. Notes Theor. Comput. Sci. 118: 57-70 (2005)
- [j13]Nadia Busi, Roberto Gorrieri, Fabio Martinelli: Preface. Electr. Notes Theor. Comput. Sci. 121: 1-2 (2005)
- [j12]Stefano Bistarelli, Iliano Cervesato, Gabriele Lenzini, Fabio Martinelli: Relating multiset rewriting and process algebras for security protocol analysis. Journal of Computer Security 13(1): 3-47 (2005)
- [j11]Roberto Gorrieri, Fabio Martinelli: Theoretical foundations of security analysis and design II. Theor. Comput. Sci. 340(1): 1-2 (2005)
- [c27]Fabio Martinelli: Towards an Integrated Formal Analysis for Security and Trust. FMOODS 2005: 115-130
- [c26]Fabio Martinelli, Paolo Mori, Anna Vaccarelli: Towards Continuous Usage Control on Grid Computational Services. ICAS/ICNS 2005: 82
- [c25]Fabio Dianda, Filippo Giuntini, Fabio Martinelli, Anna Vaccarelli: A Flexible Framework for Access Control Based on Ability Authentication. SAINT Workshops 2005: 106-109
- [e2]Alessandro Aldini, Roberto Gorrieri, Fabio Martinelli (Eds.): Foundations of Security Analysis and Design III, FOSAD 2004/2005 Tutorial Lectures. Lecture Notes in Computer Science 3655, Springer 2005, ISBN 3-540-28955-0
- [e1]Theodosis Dimitrakos, Fabio Martinelli (Eds.): Formal Aspects in Security and Trust: Second IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), an event of the 18th IFIP World Computer Congress, August 22-27, 2004, Toulouse, France. Springer 2005, ISBN 0-387-24050-0
- 2004
- [j10]Stefania Gnesi, Gabriele Lenzini, Fabio Martinelli: Applying Generalized Non Deducibility on Compositions (GNDC) Approach in Dependability. Electr. Notes Theor. Comput. Sci. 99: 111-126 (2004)
- [j9]Roberto Gorrieri, Ruggero Lanotte, Andrea Maggiolo-Schettini, Fabio Martinelli, Simone Tini, Enrico Tronci: Automated analysis of timed security: a case study on web privacy. Int. J. Inf. Sec. 2(3-4): 168-186 (2004)
- [j8]Roberto Gorrieri, Fabio Martinelli: A simple framework for real-time cryptographic protocol analysis with compositional proof rules. Sci. Comput. Program. 50(1-3): 23-49 (2004)
- [c24]Fabrizio Baiardi, Fabio Martinelli, Paolo Mori, Anna Vaccarelli: Improving Grid Services Security with Fine Grain Policies. OTM Workshops 2004: 123-134
- [c23]Fabio Martinelli, Alistair Sinclair, Dror Weitz: Fast mixing for independent sets, colorings and other models on trees. SODA 2004: 456-465
- 2003
- [j7]Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli: Real-time information flow analysis. IEEE Journal on Selected Areas in Communications 21(1): 20-35 (2003)
- [j6]Fabio Martinelli: Analysis of security protocols as open systems. Theor. Comput. Sci. 290(1): 1057-1106 (2003)
- [j5]Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli: A comparison of three authentication properties. Theor. Comput. Sci. 291(3): 285-327 (2003)
- [c22]Roberto Gorrieri, Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli: Compositional Verification of Integrity for Digital Stream Signature Protocols. ACSD 2003: 142-149
- [c21]Roberto Gorrieri, Enrico Locatelli, Fabio Martinelli: A Simple Language for Real-Time Cryptographic Protocol Analysis. ESOP 2003: 114-128
- [c20]Stefano Bistarelli, Iliano Cervesato, Gabriele Lenzini, Roberto Marangoni, Fabio Martinelli: On Representing Biological Systems through Multiset Rewriting. EUROCAST 2003: 415-426
- [c19]Roberto Gorrieri, Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli: Formal Anaylsis of Some Timed Security Properties in Wireless Protocols. FMOODS 2003: 139-154
- [c18]Fabio Martinelli, Alistair Sinclair, Dror Weitz: The Ising Model on Trees: Boundary Conditions and Mixing Time. FOCS 2003: 628-639
- [c17]Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli: Compositional Verification of Secure Streamed Data: A Case Study with EMSS. ICTCS 2003: 383-396
- [c16]Fabrizio Baiardi, Alessandro Falleni, Riccardo Granchi, Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli: SEAS: A Secure E-Voting Applet System. ISSS 2003: 318-329
- [c15]Roberto Gorrieri, Fabio Martinelli: Process Algebraic Frameworks for the Specification and Analysis of Cryptographic Protocols. MFCS 2003: 46-67
- [c14]Stefano Bistarelli, Iliano Cervesato, Gabriele Lenzini, Fabio Martinelli: Relating Process Algebras and Multiset Rewriting for Immediate Decryption Protocols. MMM-ACNS 2003: 86-99
- [c13]
- [c12]Giampaolo Bella, Stefano Bistarelli, Fabio Martinelli: Biometrics to Enhance Smartcard Security. Security Protocols Workshop 2003: 324-332
- [c11]Fabio Martinelli: Biometrics to Enhance Smartcard Security (Discussion). Security Protocols Workshop 2003: 333-335
- 2002
- [c10]Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli: Classification of Security Properties - Part II: Network Security. FOSAD 2002: 139-185
- [c9]
- [c8]Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli: Automated Analysis of Some Security Mechanisms of SCEP. ISC 2002: 414-427
- [c7]Fabio Martinelli: Symbolic Semantics and Analysis for Crypto-CCS with (Almost) Generic Inference Systems. MFCS 2002: 519-531
- 2001
- [j4]Chiara Bodei, Pierpaolo Degano, Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli: Techniques for Security Checking: Non-Interference vs Control Flow Analysis. Electr. Notes Theor. Comput. Sci. 62: 211-228 (2001)
- [j3]Riccardo Focardi, Roberto Gorrieri, Ruggero Lanotte, Andrea Maggiolo-Schettini, Fabio Martinelli, Simone Tini, Enrico Tronci: Formal Models of Timing Attacks on Web Privacy. Electr. Notes Theor. Comput. Sci. 62: 229-243 (2001)
- 2000
- [j2]Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli: Secrecy in Security Protocols as Non Interference. Electr. Notes Theor. Comput. Sci. 32: 101-112 (2000)
- [c6]Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli: Message Authentication through Non Interference. AMAST 2000: 258-272
- [c5]Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli: Information Flow Analysis in a Discrete-Time Process Algebra. CSFW 2000: 170-184
- [c4]Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli: Non Interference for the Analysis of Cryptographic Protocols. ICALP 2000: 354-372
1990 – 1999
- 1999
- [c3]Riccardo Focardi, Fabio Martinelli: A Uniform Approach for the Definition of Security Properties. World Congress on Formal Methods 1999: 794-813
- [c2]Davide Marchignoli, Fabio Martinelli: Automatic Verification of Cryptographic Protocols through Compositional Analysis Techniques. TACAS 1999: 148-162
- 1998
- [j1]Fabio Martinelli: An Improvement of Algorithms for Solving Interface Equations. Inf. Process. Lett. 67(4): 185-190 (1998)
- [c1]Fabio Martinelli: Partial Model Checking and Theorem Proving for Ensuring Security Properties. CSFW 1998: 44-52
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-05-29 22:22 CEST by the dblp team