CRiSIS

Keyphrases

Publications

volume 13857, 2023

Risks and Security of Internet and Systems - 17th International Conference, CRiSIS 2022, Sousse, Tunisia, December 7-9, 2022, Revised Selected Papers CRiSIS 13857 (2023)

2022

Mohamed Amin Hammami, Mariam Lahami, Afef Jmal Maâlej
Towards a Dynamic Testing Approach for Checking the Correctness of Ethereum Smart Contracts. CRiSIS (2022)
Rahma Trabelsi, Ghofrane Fersi, Mohamed Jmaiel
Virtual Private Network Blockchain-based Dynamic Access Control Solution for Inter-organisational Large Scale IoT Networks. CRiSIS (2022)
Charles-Henry Bertrand Van Ouytsel, Christophe Crochet, Khanh-Huu-The Dam, Axel Legay
Tool Paper - SEMA: Symbolic Execution Toolchain for Malware Analysis. CRiSIS (2022)
Johannes Beckert, Teo Blazevic, Alexander Dobhan
IoT Security Within Small and Medium-Sized Manufacturing Companies. CRiSIS (2022)
Maxime Lanvin, Pierre-François Gimenez, Yufei Han, Frédéric Majorczyk, Ludovic Mé, Eric Totel
Errors in the CICIDS2017 Dataset and the Significant Differences in Detection Performances It Makes. CRiSIS (2022)
Benjamin Somers, Fabien Dagnat, Jean-Christophe Bach
How IT Infrastructures Break: Better Modeling for Better Risk Management. CRiSIS (2022)
Randy Kuang, Maria Perepechaenko, Ryan Toth, Michel Barbeau
Benchmark Performance of the Multivariate Polynomial Public Key Encapsulation Mechanism. CRiSIS (2022)
Abdel Mlak Said, Aymen Yahyaoui, Takoua Abdellatif
PRIAH: Private Alerts in Healthcare. CRiSIS (2022)
Ahmed Burhan Mohammed, Lamia Chaari Fourati, Ahmed Fakhrudeen
A Comparative Study of Attribute Selection Algorithms on Intrusion Detection System in UAVs: A Case Study of UKM-IDS20 Dataset. CRiSIS (2022)
Tarek Frikha, Jalel Ktari, Habib Hamam
Blockchain Olive Oil Supply Chain. CRiSIS (2022)
Hannes Salin
Pseudonym Swapping with Secure Accumulators and Double Diffie-Hellman Rounds in Cooperative Intelligent Transport Systems. CRiSIS (2022)
Racem Bougacha, Régine Laleau, Philippe Bon, Simon Collart Dutilleul, Rahma Ben Ayed
Modeling Train Systems: From High-Level Architecture Graphical Models to Formal Specifications. CRiSIS (2022)
Kris Heid, Jens Heider
Context Correlation for Automated Dynamic Android App Analysis to Improve Impact Rating of Privacy and Security Flaws. CRiSIS (2022)
Salah Gontara, Amine Boufaied, Ouajdi Korbaa
Impact of EIP-1559 on Transactions in the Ethereum Blockchain and Its Rollups. CRiSIS (2022)
Rawya Mars, Saoussen Cheikhrouhou, Slim Kallel, Mohamed Sellami, Ahmed Hadj Kacem
Towards a Secure Cross-Blockchain Smart Contract Architecture. CRiSIS (2022)
Liang Chen, Cheng Zeng, Stilianos Vidalis
An Incentive Mechanism for Managing Obligation Delegation. CRiSIS (2022)
Maher Boughdiri, Takoua Abdellatif, Tesnim Abdellatif
Blockchain Survey for Security and Privacy in the e-Health Ecosystem. CRiSIS (2022)
Bastien Drouot, Valery Monthe, Sylvain Guérin, Joël Champeau
Security Analysis: From Model to System Analysis. CRiSIS (2022)

volume 13204, 2022

Risks and Security of Internet and Systems - 16th International Conference, CRiSIS 2021, Virtual Event, Ames, USA, November 12-13, 2021, Revised Selected Papers CRiSIS 13204 (2022)

2021

volume 12528, 2021

Risks and Security of Internet and Systems - 15th International Conference, CRiSIS 2020, Paris, France, November 4-6, 2020, Revised Selected Papers CRiSIS 12528 (2021)

2020

volume 12026, 2020

Risks and Security of Internet and Systems, 14th International Conference, CRiSIS 2019, Hammamet, Tunisia, October 29-31, 2019, Proceedings. CRiSIS 12026 (2020)