Search - IFIP Open Digital Library

7 results

Structure: Internal structure identifier : 204763

	For these 7 documents Send to ORCID RSS ATOM Export BibTeX XML-TEI CSV RTF EndNote PDF HTML Advanced export	Page :	sorted by Relevance Author A→Z Author Z→A Title A→Z Title Z→A Increasing publication date Decreasing publication date Increasing deposit date Decreasing deposit date

		Droids in Disarray: Detecting Frame Confusion in Hybrid Android Apps Davide Caputo , Luca Verderame , Simone Aonzo , Alessio Merlo 33th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jul 2019, Charleston, SC, United States. pp.121-139, ⟨10.1007/978-3-030-22479-0_7⟩ Conference papers hal-02384600v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Automated Risk Assessment and What-if Analysis of OpenID Connect and OAuth 2.0 Deployments Salimeh Dashti , Amir Sharif , Roberto Carbone , Silvio Ranise 35th IFIP Annual Conference on Data and Applications Security and Privacy (DBSec), Jul 2021, Calgary, AB, Canada. pp.325-337, ⟨10.1007/978-3-030-81242-3_19⟩ Conference papers hal-03677036v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Deconfined Global Types for Asynchronous Sessions Francesco Dagnino , Paola Giannini , Mariangiola Dezani-Ciancaglini 23th International Conference on Coordination Languages and Models (COORDINATION), Jun 2021, Valletta, Malta. pp.41-60, ⟨10.1007/978-3-030-78142-2_3⟩ Conference papers hal-03387838v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Verification of Ad Hoc Networks with Node and Communication Failures Giorgio Delzanno , Arnaud Sangnier , Gianluigi Zavattaro 14th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 32nd International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2012, Stockholm, Sweden. pp.235-250 Conference papers hal-00909367v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Asynchronous Global Types in Co-logic Programming Riccardo Bianchini , Francesco Dagnino 23th International Conference on Coordination Languages and Models (COORDINATION), Jun 2021, Valletta, Malta. pp.134-146, ⟨10.1007/978-3-030-78142-2_9⟩ Conference papers hal-03387826v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		Enabling Next-Generation Cyber Ranges with Mobile Security Components Enrico Russo , Luca Verderame , Alessio Merlo 32th IFIP International Conference on Testing Software and Systems (ICTSS), Dec 2020, Naples, Italy. pp.150-165, ⟨10.1007/978-3-030-64881-7_10⟩ Conference papers hal-03239813v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More
		APPregator: A Large-Scale Platform for Mobile Security Analysis Luca Verderame , Davide Caputo , Andrea Romdhana , Alessio Merlo 32th IFIP International Conference on Testing Software and Systems (ICTSS), Dec 2020, Naples, Italy. pp.73-88, ⟨10.1007/978-3-030-64881-7_5⟩ Conference papers hal-03239815v1	Send to ORCID Export BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite Advanced export Share Gmail Facebook X LinkedIn More