Charles Morisset

80 papers A 1B 3C 9Misc 4Journal 22Unranked 39

Year	Rank	Type	Title / Venue / Authors
2025	C	`conf`	Towards Explainable Access Control [BlueSky Paper]. SACMAT Gelareh Hasel Mehri, Charles Morisset, Nicola Zannone
2024	J	`jnl`	Can we develop holistic approaches to delivering cyber-physical systems security? Res. Dir. Cyber Phys. Syst. John S. Fitzgerald, Charles Morisset
2023	B	`conf`	Impact of Using a Privacy Model on Smart Buildings Data for CO DBSec Marlon P. da Silva, Henry C. Nunes, Charles V. Neu, Luana T. Thomas, Avelino F. Zorzo, Charles Morisset
2023	J	`jnl`	Impact of using a privacy model on smart buildings data for CO2 prediction. CoRR Marlon P. da Silva, Henry C. Nunes, Charles V. Neu, Luana T. Thomas, Avelino F. Zorzo, Charles Morisset
2023	—	`conf`	Position Paper: The role of law in achieving privacy and security measures in smart buildings from the GDPR context. EuroS&P Workshops Natalie Leesakul, Charles Morisset
2023	Misc	`conf`	Realism versus Performance for Adversarial Examples Against DL-based NIDS. SAC Huda Ali Alatwi, Charles Morisset
2023	—	`conf`	U-Sense: Feasibility Study of "Human as a Sensor" in Incident Reporting Systems in a Smart Campus. EuroS&P Workshops Naoom Abu Abah, Nick Taylor, Charles Morisset, Maryam Mehrnezhad
2022	—	`conf`	"I Feel Spied on and I Don't Have Any Control over My Data": User Privacy Perception, Preferences and Trade-Offs in University Smart Buildings. STAST Rawan Taher, Maryam Mehrnezhad, Charles Morisset
2022	—	`conf`	A Blockchain-Based Architecture to Manage User Privacy Preferences on Smart Shared Spaces Privately. DPM/CBT@ESORICS Charles V. Neu, Joel Gibson, Roben Castagna Lunardi, Natalie Leesakul, Charles Morisset
2022	B	`conf`	Simple and Efficient Identification of Personally Identifiable Information on a Public Website. IEEE Big Data Caitlin Brown, Charles Morisset
2022	B	`conf`	Threat Modeling for Machine Learning-Based Network Intrusion Detection Systems. IEEE Big Data Huda Ali Alatwi, Charles Morisset
2022	—	`conf`	Towards Calculating the Resilience of an Urban Transport Network Under Attack. PASM David Sanchez, Charles Morisset
2022	J	`jnl`	cyberaCTIve: a STIX-based Tool for Cyber Threat Intelligence in Complex Models. CoRR Ricardo M. Czekster, Roberto Metere, Charles Morisset
2021	J	`jnl`	A Review of Intrusion Detection Systems and Their Evaluation in the IoT. CoRR Luca Arnaboldi, Charles Morisset
2021	J	`jnl`	Adversarial Machine Learning In Network Intrusion Detection Domain: A Systematic Review. CoRR Huda Ali Alatwi, Charles Morisset
2021	Misc	`conf`	BDMPathfinder: a tool for exploring attack paths in models defined by Boolean logic Driven Markov Processes. EDCC Ricardo M. Czekster, Charles Morisset
2021	J	`jnl`	Securing the Electric Vehicle Charging Infrastructure. CoRR Roberto Metere, Myriam Neaimeh, Charles Morisset, Carsten Maple, Xavier J. A. Bellekens, Ricardo M. Czekster
2021	J	`jnl`	Systematic review of features for co-simulating security incidents in Cyber-Physical Systems. Secur. Priv. Ricardo M. Czekster, Charles Morisset, John A. Clark, Sadegh Soudjani, Charalampos Patsios, Peter Davison
2020	Misc	`conf`	Smart Building Risk Assessment Case Study: Challenges, Deficiencies and Recommendations. EDCC John C. Mace, Ricardo Melo Czekster, Charles Morisset, Carsten Maple
2019	J	`jnl`	A framework for the extended evaluation of ABAC policies. Cybersecur. Charles Morisset, Tim A. C. Willemse, Nicola Zannone
2019	J	`jnl`	Generating Synthetic Data for Real World Detection of DoS Attacks in the IoT. CoRR Luca Arnaboldi, Charles Morisset
2019	—	`conf`	Modelling Load-Changing Attacks in Cyber-Physical Systems. PASM Luca Arnaboldi, Ricardo M. Czekster, Charles Morisset, Roberto Metere
2019	J	`jnl`	Modelling Load-Changing Attacks in Cyber-Physical Systems. CoRR Luca Arnaboldi, Ricardo M. Czekster, Roberto Metere, Charles Morisset
2019	—	`conf`	On Attribute Retrieval in ABAC. FPS Charles Morisset, Sowmya Ravidas, Nicola Zannone
2018	C	`conf`	Efficient Extended ABAC Evaluation. SACMAT Charles Morisset, Tim A. C. Willemse, Nicola Zannone
2018	—	`conf`	Generating Synthetic Data for Real World Detection of DoS Attacks in the IoT. STAF Workshops Luca Arnaboldi, Charles Morisset
2018	—	`conf`	Interventions over smart card swiping behaviour. STAST Peter Carmichael, Thomas Groß, Charles Morisset
2018	—	`conf`	On Building a Visualisation Tool for Access Control Policies. ICISSP (Revised Selected Papers) Charles Morisset, David Sanchez
2018	—	`conf`	SHRUBS: simulating influencing human behaviour in security. STAST Peter Carmichael, Charles Morisset, Thomas Groß
2018	C	`conf`	VisABAC: A Tool for Visualising ABAC Policies. ICISSP Charles Morisset, David Sanchez
2017	—	`conf`	ADaCS: A Tool for Analysing Data Collection Strategies. EPEW John C. Mace, Nipun Balan Thekkummal, Charles Morisset, Aad van Moorsel
2017	—	`conf`	Learning Decision Trees from Synthetic Data Models for Human Security Behaviour. SEFM Workshops Peter Carmichael, Charles Morisset
2017	—	`conf`	Quantitative Analysis of DoS Attacks and Client Puzzles in IoT Systems. STM Luca Arnaboldi, Charles Morisset
2017	J	`jnl`	Quantitative Analysis of DoS Attacks and Client Puzzles in IoT Systems. CoRR Luca Arnaboldi, Charles Morisset
2016	—	`conf`	Influence tokens: analysing adversarial behaviour change in coloured petri nets. STAST Peter Carmichael, Charles Morisset, Thomas Groß
2016	J	`jnl`	Modeling and analysis of influence power for information security decisions. Perform. Evaluation Iryna Yevseyeva, Charles Morisset, Aad P. A. van Moorsel
2016	—	`conf`	WRAD: Tool Support for Workflow Resiliency Analysis and Design. SERENE John C. Mace, Charles Morisset, Aad P. A. van Moorsel
2015	—	`conf`	Impact of Policy Design on Workflow Resiliency Computation Time. QEST John C. Mace, Charles Morisset, Aad P. A. van Moorsel
2015	—	`conf`	Modelling user availability in workflow resiliency analysis. HotSoS John C. Mace, Charles Morisset, Aad P. A. van Moorsel
2015	C	`conf`	On Missing Attributes in Access Control: Non-deterministic and Probabilistic Attribute Retrieval. SACMAT Jason Crampton, Charles Morisset, Nicola Zannone
2015	J	`jnl`	Probabilistic cost enforcement of security policies. J. Comput. Secur. Yannis Mallios, Lujo Bauer, Dilsun Kirli Kaynar, Fabio Martinelli, Charles Morisset
2015	—	`conf`	Resiliency Variance in Workflows with Choice. SERENE John C. Mace, Charles Morisset, Aad P. A. van Moorsel
2014	—	`conf`	A Decision Making Model of Influencing Behavior in Information Security. EPEW Iryna Yevseyeva, Charles Morisset, Thomas Groß, Aad P. A. van Moorsel
2014	—	`conf`	A Formal Model for Soft Enforcement: Influencing the Decision-Maker. STM Charles Morisset, Iryna Yevseyeva, Thomas Groß, Aad P. A. van Moorsel
2014	—	`conf`	Monotonicity and Completeness in Attribute-Based Access Control. STM Jason Crampton, Charles Morisset
2014	—	`conf`	Nudging for Quantitative Access Control Systems. HCI (24) Charles Morisset, Thomas Groß, Aad P. A. van Moorsel, Iryna Yevseyeva
2014	—	`conf`	Quantitative Workflow Resiliency. ESORICS (1) John C. Mace, Charles Morisset, Aad P. A. van Moorsel
2014	C	`conf`	Reduction of access control decisions. SACMAT Charles Morisset, Nicola Zannone
2013	J	`jnl`	A framework for automated and certified refinement steps. Innov. Syst. Softw. Eng. Andreas Griesmayer, Zhiming Liu, Charles Morisset, Shuling Wang
2013	A	`conf`	Automated Certification of Authorisation Policy Resistance. ESORICS Andreas Griesmayer, Charles Morisset
2013	J	`jnl`	Automated Certification of Authorisation Policy Resistance. CoRR Andreas Griesmayer, Charles Morisset
2013	C	`conf`	Detection of attack strategies. CRiSIS Suliman A. Alsuhibany, Charles Morisset, Aad P. A. van Moorsel
2013	—	`conf`	Experimental Investigation in the Impact on Security of the Release Order of Defensive Algorithms. CD-ARES Workshops Suliman A. Alsuhibany, Ahmad Alonaizi, Charles Morisset, Chris Smith, Aad P. A. van Moorsel
2013	—	`conf`	Probabilistic Cost Enforcement of Security Policies. STM Yannis Mallios, Lujo Bauer, Dilsun Kirli Kaynar, Fabio Martinelli, Charles Morisset
2013	—	`conf`	Quantitative Evaluation of Enforcement Strategies - Position Paper. FPS Vincenzo Ciancia, Fabio Martinelli, Ilaria Matteucci, Charles Morisset
2012	C	`conf`	A Quantitative Approach for Inexact Enforcement of Security Policies. ISC Peter Drábik, Fabio Martinelli, Charles Morisset
2012	—	`conf`	Cost-Aware Runtime Enforcement of Security Policies. STM Peter Drábik, Fabio Martinelli, Charles Morisset
2012	—	`conf`	From Qualitative to Quantitative Enforcement of Security Policy. MMM-ACNS Fabio Martinelli, Ilaria Matteucci, Charles Morisset
2012	J	`jnl`	Implementing Access Control Markov Decision Processes with GLPK/GMPL CoRR Charles Morisset
2012	—	`conf`	PTaCL: A Language for Attribute-Based Access Control in Open Systems. POST Jason Crampton, Charles Morisset
2012	—	`conf`	Quantitative access control with partially-observable Markov decision processes. CODASPY Fabio Martinelli, Charles Morisset
2012	—	`conf`	Risk-based security decisions under uncertainty. CODASPY Ian M. Molloy, Luke Dickens, Charles Morisset, Pau-Chen Cheng, Jorge Lobo, Alessandra Russo
2012	Misc	`conf`	Subjective review-based reputation. SAC Gianpiero Costantino, Charles Morisset, Marinella Petrocchi
2012	J	`jnl`	Towards A Generic Formal Framework for Access Control Systems CoRR Jason Crampton, Charles Morisset
2011	J	`jnl`	A Framework for Automated and Certified Refinement Steps CoRR Andreas Griesmayer, Zhiming Liu, Charles Morisset, Shuling Wang
2011	J	`jnl`	PTaCL: A Language for Attribute-Based Access Control in Open Systems CoRR Jason Crampton, Charles Morisset
2011	—	`conf`	Risk-Based Auto-delegation for Probabilistic Availability. DPM/SETOP Leanid Krautsevich, Fabio Martinelli, Charles Morisset, Artsiom Yautsiukhin
2010	—	`conf`	A Graph-Based Implementation for Mechanized Refinement Calculus of OO Programs. SBMF Zhiming Liu, Charles Morisset, Shuling Wang
2010	—	`conf`	An Auto-delegation Mechanism for Access Control Systems. STM Jason Crampton, Charles Morisset
2010	J	`jnl`	Robustness testing for software components. Sci. Comput. Program. Bin Lei, Xuandong Li, Zhiming Liu, Charles Morisset, Volker Stolz
2009	—	`ch.`	Design and Verification of Fault-Tolerant Components. Methods, Models and Tools for Fault Tolerance Miaomiao Zhang, Zhiming Liu, Charles Morisset, Anders P. Ravn
2009	—	`conf`	Specification and Validation of Behavioural Protocols in the rCOS Modeler. FSEN Zhenbang Chen, Charles Morisset, Volker Stolz
2009	—	`conf`	rCOS: Theory and Tool for Component-Based Model Driven Development. FSEN Zhiming Liu, Charles Morisset, Volker Stolz
2008	C	`conf`	A Component-Based Access Control Monitor. ISoLA Zhiming Liu, Charles Morisset, Volker Stolz
2008	C	`conf`	A Formal Comparison of the Bell & LaPadula and RBAC Models. IAS Lionel Habib, Mathieu Jaume, Charles Morisset
2008	—	`conf`	State Based Robustness Testing for Components. FACS Bin Lei, Zhiming Liu, Charles Morisset, Xuandong Li
2008	J	`jnl`	Un cadre sémantique pour le contrôle d'accès. Tech. Sci. Informatiques Mathieu Jaume, Charles Morisset
2007	—	`—`	Sémantique des systèmes de contrôle d'accès:Définition d'un cadre sémantique pour la spécification, l'implantation et la comparaison de modèles de contrôle d'accès Charles Morisset
2007	J	`jnl`	Un moniteur de référence sr d'une base de données. Tech. Sci. Informatiques Julien Blond, Charles Morisset
2005	—	`conf`	Formalisation and implementation of Access control models. ITCC (1) Mathieu Jaume, Charles Morisset