Search - IFIP Open Digital Library Access content directly

Filter your results

70 results
Structure: Internal structure identifier : 300694
Page :
sorted by

Information Security Theory and Practice

 Gerhard P. Hancke , Ernesto Damiani
Springer International Publishing, LNCS-10741, 2018, Lecture Notes in Computer Science, 978-3-319-93523-2. ⟨10.1007/978-3-319-93524-9⟩
Books hal-01875516v1
Image document

Human Work Interaction Design. Designing Engaging Automation

 Barbara Rita Barricelli , Virpi Roto , Torkil Clemmensen , Pedro Campos , Arminda Guerra Lopes , et al.
Springer International Publishing, AICT-544, 2019, IFIP Advances in Information and Communication Technology, 978-3-030-05296-6. ⟨10.1007/978-3-030-05297-3⟩
Books hal-02264608v1
Image document

Monitoring Business Processes in the Networked Enterprise

 Francesco Arigliano , Devis Bianchini , Cinzia Cappiello , Angelo Corallo , Paolo Ceravolo , et al.
1st International Symposium on Data-Driven Process Discovery and Analysis (SIMPDA), Jun 2011, Campione d’Italia, Italy. pp.21-38, ⟨10.1007/978-3-642-34044-4_2⟩
Conference papers hal-01515540v1
Image document

Modeling Shock Propagation on Supply Chain Networks: A Stochastic Logistic-Type Approach

 Cinzia Colapinto , Davide La Torre , Iside Rita Laganà , Danilo Liuzzi
IFIP International Conference on Advances in Production Management Systems (APMS), Sep 2021, Nantes, France. pp.23-31, ⟨10.1007/978-3-030-85910-7_3⟩
Conference papers hal-03806500v1
Image document

A Granular Approach to Source Trustworthiness for Negative Trust Assessment

 Davide Ceolin , Giuseppe Primiero
13th IFIP International Conference on Trust Management (IFIPTM), Jul 2019, Copenhagen, Denmark. pp.108-121, ⟨10.1007/978-3-030-33716-2_9⟩
Conference papers hal-03182613v1

Data and Applications Security and Privacy XXIX

 Pierangela Samarati
Springer International Publishing, LNCS-9149, 2015, Lecture Notes in Computer Science, 978-3-319-20809-1. ⟨10.1007/978-3-319-20810-7⟩
Books hal-01745818v1
Image document

Advances in Data Management in the Big Data Era

 Antonia Azzini , Sylvio Barbon Jr. , Valerio Bellandi , Tiziana Catarci , Paolo Ceravolo , et al.
Advancing Research in Information and Communication Technology, AICT - 600, IFIP : International Federation for Information Processing, pp.99-126, 2021, IFIP Advances in Information and Communication Technology book series (IFIPAICT), 978-3-030-81700-8. ⟨10.1007/978-3-030-81701-5_4⟩
Book sections hal-03325984v1

Data-Driven Process Discovery and Analysis

 Paolo Ceravolo , Christian Guetl , Stefanie Rinderle-Ma
Springer International Publishing, LNBIP-307, 2018, Lecture Notes in Business Information Processing, 978-3-319-74160-4. ⟨10.1007/978-3-319-74161-1⟩
Books hal-01769755v1
Image document

Information Security and Privacy – Challenges and Outlook

 Steven Furnell , Paul Haskell-Dowland , Manish Agrawal , Richard Baskerville , Anirban Basu , et al.
Advancing Research in Information and Communication Technology, AICT-600, pp.383-401, 2021, ⟨10.1007/978-3-030-81701-5_16⟩
Book sections hal-03325978v1
Image document

Pushdown Automata and Constant Height: Decidability and Bounds

 Giovanni Pighizzini , Luca Prigioniero
21th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2019, Košice, Slovakia. pp.260-271, ⟨10.1007/978-3-030-23247-4_20⟩
Conference papers hal-02387302v1

Descriptional Complexity of Formal Systems

 Giovanni Pighizzini , Cezar Câmpeanu
Springer International Publishing, LNCS-10316, 2017, Lecture Notes in Computer Science, 978-3-319-60251-6. ⟨10.1007/978-3-319-60252-3⟩
Books hal-01656999v1
Image document

Integrity for Approximate Joins on Untrusted Computational Servers

 Sabrina de Capitani Di Vimercati , Sara Foresti , Sushil Jajodia , Stefano Paraboschi , Pierangela Samarati
30th IFIP International Information Security Conference (SEC), May 2015, Hamburg, Germany. pp.446-459, ⟨10.1007/978-3-319-18467-8_30⟩
Conference papers hal-01345135v1
Image document

Descriptional Complexity of Iterated Uniform Finite-State Transducers

 Martin Kutrib , Andreas Malcher , Carlo Mereghetti , Beatrice Palano
21th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2019, Košice, Slovakia. pp.223-234, ⟨10.1007/978-3-030-23247-4_17⟩
Conference papers hal-02387284v1
Image document

Knowledge Representation in Virtual Teams: A Perspective Approach for Synthetic Worlds

 Giacomo Fiumara , Dario Maggiorini , Alessandro Provetti , Laura A. Ripamonti
11th IFIP WG 5.5 Working Conference on Virtual Enterprises (PRO-VE), Oct 2010, Saint-Etienne, France. pp.619-625, ⟨10.1007/978-3-642-15961-9_74⟩
Conference papers hal-01055938v1
Image document

Regular Expression Learning with Evolutionary Testing and Repair

 Paolo Arcaini , Angelo Gargantini , Elvinia Riccobene
31th IFIP International Conference on Testing Software and Systems (ICTSS), Oct 2019, Paris, France. pp.22-40, ⟨10.1007/978-3-030-31280-0_2⟩
Conference papers hal-02526352v1
Image document

Cyber Threats Monitoring: Experimental Analysis of Malware Behavior in Cyberspace

 Clara Maria Colombini , Antonio Colella , Marco Mattiucci , Aniello Castiglione
1st Cross-Domain Conference and Workshop on Availability, Reliability, and Security in Information Systems (CD-ARES), Sep 2013, Regensburg, Germany. pp.236-252
Conference papers hal-01506705v1
Image document

Digital Profiling: A Computer Forensics Approach

 Clara Colombini , Antonio Colella
1st Availability, Reliability and Security (CD-ARES), Aug 2011, Vienna, Austria. pp.330-343, ⟨10.1007/978-3-642-23300-5_26⟩
Conference papers hal-01590393v1
Image document

Linear-Time Limited Automata

 Bruno Guillon , Luca Prigioniero
20th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2018, Halifax, NS, Canada. pp.126-138, ⟨10.1007/978-3-319-94631-3_11⟩
Conference papers hal-01905632v1
Image document

Enforcing Confidentiality and Data Visibility Constraints: An OBDD Approach

 Valentina Ciriani , Sabrina De Capitani Di Vimercati , Sara Foresti , Giovanni Livraga , Pierangela Samarati
23th Data and Applications Security (DBSec), Jul 2011, Richmond, VA, United States. pp.44-59, ⟨10.1007/978-3-642-22348-8_6⟩
Conference papers hal-01586589v1
Image document

Human Work Interaction Design: Work Analysis and Interaction Design Methods for Pervasive and Smart Workplaces

 José Abdelnour Nocera , Barbara Rita Barricelli , Arminda Lopes , Pedro Campos , Torkil Clemmensen
José Abdelnour Nocera; Barbara Rita Barricelli; Arminda Lopes; Pedro Campos; Torkil Clemmensen. AICT-468, 2015, IFIP Advances in Information and Communication Technology, 978-3-319-27047-0. ⟨10.1007/978-3-319-27048-7⟩
Books hal-01371624v1
Image document

Toward Secure Clustered Multi-Party Computation: A Privacy-Preserving Clustering Protocol

 Sedigheh Abbasi , Stelvio Cimato , Ernesto Damiani
1st International Conference on Information and Communication Technology (ICT-EurAsia), Mar 2013, Yogyakarta, Indonesia. pp.447-452, ⟨10.1007/978-3-642-36818-9_49⟩
Conference papers hal-01480202v1
Image document

Designing Process-Centric Blockchain-Based Architectures: A Case Study in e-voting as a Service

 Emanuele Bellini , Paolo Ceravolo , Alessandro Bellini , Ernesto Damiani
8th International Symposium on Data-Driven Process Discovery and Analysis (SIMPDA), Dec 2018, Seville, Spain. pp.1-23, ⟨10.1007/978-3-030-46633-6_1⟩
Conference papers hal-03188579v1

Data and Applications Security and Privacy XXIV

 Sara Foresti , Sushil Jajodia
Springer, LNCS-6166, 2010, Lecture Notes in Computer Science, 978-3-642-13738-9. ⟨10.1007/978-3-642-13739-6⟩
Books hal-01555409v1

Information Security Theory and Practices: Security and Privacy of Pervasive Systems and Smart Devices

 Pierangela Samarati , Michael Tunstall , Joachim Posegga , Konstantinos Markantonakis , Damien Sauveron
Springer, LNCS-6033, 2010, Lecture Notes in Computer Science, 978-3-642-12367-2. ⟨10.1007/978-3-642-12368-9⟩
Books hal-01550529v1
Image document

Resilient Distributed Collection Through Information Speed Thresholds

 Giorgio Audrito , Sergio Bergamini , Ferruccio Damiani , Mirko Viroli
22th International Conference on Coordination Languages and Models (COORDINATION), Jun 2020, Valletta, Malta. pp.211-229, ⟨10.1007/978-3-030-50029-0_14⟩
Conference papers hal-03273987v1
Image document

A Local Limit Property for Pattern Statistics in Bicomponent Stochastic Models

 Massimiliano Goldwurm , Jianyi Lin , Marco Vignati
20th International Conference on Descriptional Complexity of Formal Systems (DCFS), Jul 2018, Halifax, NS, Canada. pp.114-125, ⟨10.1007/978-3-319-94631-3_10⟩
Conference papers hal-01905636v1
Image document

The Basic Dream of the PC, or “Did You Ever Play Tic-Tac-Toe”?

 Nadia Ambrosetti , Matteo Cantamesse
13th IFIP International Conference on Human Choice and Computers (HCC13), Sep 2018, Poznan, Poland. pp.3-15, ⟨10.1007/978-3-319-99605-9_1⟩
Conference papers hal-02001927v1
Image document

Privacy of Outsourced Data

 Sabrina Capitani Di Vimercati , Sara Foresti
5th IFIP WG 9.2, 9.6/11.4, 11.6, 11.7/PrimeLife International Summer School(PRIMELIFE), Sep 2009, Nice, France. pp.174-187, ⟨10.1007/978-3-642-14282-6_14⟩
Conference papers hal-01061071v1
Image document

Distributed Query Evaluation over Encrypted Data

 Sabrina de Capitani Di Vimercati , Sara Foresti , Sushil Jajodia , Giovanni Livraga , Stefano Paraboschi , et al.
35th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jul 2021, Calgary, AB, Canada. pp.96-114, ⟨10.1007/978-3-030-81242-3_6⟩
Conference papers hal-03677027v1
Image document

Network Profiling: Content Analysis of Users Behavior in Digital Communication Channel

 Clara Maria Colombini , Antonio Colella , Marco Mattiucci , Aniello Castiglione
International Cross-Domain Conference and Workshop on Availability, Reliability, and Security (CD-ARES), Aug 2012, Prague, Czech Republic. pp.416-429, ⟨10.1007/978-3-642-32498-7_31⟩
Conference papers hal-01542442v1
Page :