Damas P. Gruska

56 papers B 2C 1Journal 18Unranked 35
YearRankTypeTitle / Venue / Authors
2025 B conf
A Hybrid GAM-Based Model for Predicting Vulnerability Exploitation.
CoopIS
Noufal Issa, Damas P. Gruska, Loubna Ali
2025 C conf
Adversarial Analysis and Supervisory Control of Sensor Networks.
DSD
Damas P. Gruska
2025 — conf
Formal Model of Energy System using Attack Trees.
EUROCON
Aliyu Tanko Ali, Damas P. Gruska, Martin Leucker
2025 — conf
Graph Reduction to Attack Trees for (Unobservable) Target Analysis.
NordSec
Aliyu Tanko Ali, Leonard Chidiebere Eze, Damas P. Gruska, Martin Leucker
2025 J jnl
Language-based Security and Time-inserting Supervisor.
CoRR
Damas P. Gruska
2025 — conf
State-Based Security and Time-Inserting Supervisors.
SBMF
Damas P. Gruska
2025 — conf
Using Attack Trees for Security Education and Training: Simplifying Threat Analysis.
World Conference on Information Security Education
Damas P. Gruska, Aliyu Tanko Ali, Martin Leucker
2022 — conf
States of Attack Under Incomplete Information.
CCWC
Aliyu Tanko Ali, Damas P. Gruska
2021 — conf
Attack Trees with Time Constraints.
CS&P
Aliyu Tanko Ali, Damas P. Gruska
2021 — conf
Dynamic Attack Trees.
OVERLAY@GandALF
Aliyu Tanko Ali, Damas P. Gruska
2021 J jnl
Encoding Threshold Boolean Networks into Reaction Systems for the Analysis of Gene Regulatory Networks.
Fundam. Informaticae
Roberto Barbuti, Pasquale Bove, Roberta Gori, Damas P. Gruska, Francesca Levi, Paolo Milazzo
2021 — conf
Process Opacity and Insertion Functions.
CS&P
Damas P. Gruska, M. Carmen Ruiz
2021 — conf
Reversible Attack Trees.
UEMCON
Aliyu Tanko Ali, Damas P. Gruska
2021 — conf
Security Enforcing.
CS&P (Revised Selected Papers)
Damas P. Gruska
2021 — conf
Time Insertion Functions.
MEDI Workshops
Damas P. Gruska
2019 — conf
Attack Protection Tree.
CS&P
Aliyu Tanko Ali, Damas P. Gruska
2019 — conf
Modeling and Evaluation of a Power-Aware Algorithm for IoT Bluetooth Low Energy Devices.
SmartIoT
M. Carmen Ruiz, Celia Garrido-Hidalgo, Damas P. Gruska, Teresa Olivares, Diego Hortelano, Luis Roda-Sanchez
2019 — conf
Observations, Testing and Security.
CS&P
Damas P. Gruska, M. Carmen Ruiz
2019 — conf
Security Testing for Multi-Agent Systems.
IWANN (1)
Damas P. Gruska, M. Carmen Ruiz
2019 — conf
Security and time insertion.
PCI
Damas P. Gruska
2019 — conf
Security of Low Level IoT Protocols.
ICCS (3)
Damas P. Gruska, M. Carmen Ruiz
2019 J jnl
Studying Opacity of Reaction Systems through Formula Based Predictors.
Fundam. Informaticae
Roberta Gori, Damas P. Gruska, Paolo Milazzo
2018 — conf
Hidden States in Reaction Systems.
CS&P
Roberta Gori, Damas P. Gruska, Paolo Milazzo
2018 — conf
Opacity-enforcing for Process Algebras.
CS&P
Damas P. Gruska, M. Carmen Ruiz
2016 — conf
Analysing of M-AHIDS with Future States on DARPA and KDD99 Benchmarks.
CS&P
Mikulás Pataky, Damas P. Gruska
2016 J jnl
Differential Privacy and Security.
Fundam. Informaticae
Damas P. Gruska
2016 — conf
Process Environment Opacity.
CS&P
Damas P. Gruska
2015 — conf
Dynamics Security Policies and Process Opacity for Timed Process Algebras.
Ershov Memorial Conference
Damas P. Gruska
2015 — conf
Gained and Excluded Classified Actions by Dynamic Security Policies.
CS&P
Damas P. Gruska
2015 — conf
Sequential P Systems with Active Membranes Working on Sets.
CS&P
Michal Kovác, Damas P. Gruska
2014 — conf
Differential Privacy and Security.
CS&P
Damas P. Gruska
2014 — conf
Multi-Agent Heterogeneous Intrusion Detection System.
CS&P
Mikulás Pataky, Damas P. Gruska
2014 — conf
Process Opacity for Timed Process Algebra.
Ershov Memorial Conference
Damas P. Gruska
2014 J jnl
Simulation Opacity.
Fundam. Informaticae
Damas P. Gruska
2013 J jnl
Information Flow Testing.
Fundam. Informaticae
Damas P. Gruska
2013 — conf
Opacity Testing.
CS&P
Damas P. Gruska
2012 — conf
Information Flow and Concurrent Imperative Languages.
CS&P
Damas P. Gruska
2012 J jnl
Informational Analysis of Security and Integrity.
Fundam. Informaticae
Damas P. Gruska
2012 J jnl
Quantification of Positive and Negative Attacker's Information.
Fundam. Informaticae
Damas P. Gruska
2012 — conf
Test Based Security.
CS&P
Damas P. Gruska
2011 J jnl
Gained and Excluded Private Actions by Process Observations.
Fundam. Informaticae
Damas P. Gruska
2010 J jnl
A Notion of Biological Diagnosability Inspired by the Notion of Opacity in Systems Security.
Fundam. Informaticae
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Damas P. Gruska
2010 — conf
Diagnosability of Nested Intruders.
BIONETICS
Damas P. Gruska
2010 J jnl
Process Algebra Contexts and Security Properties.
Fundam. Informaticae
Damas P. Gruska
2009 J jnl
Quantifying Security for Timed Process Algebras.
Fundam. Informaticae
Damas P. Gruska
2008 J jnl
Probabilistic Information Flow Security.
Fundam. Informaticae
Damas P. Gruska
2008 J jnl
Security in a Model for Long-running Transactions.
Fundam. Informaticae
Damas P. Gruska, Andrea Maggiolo-Schettini, Paolo Milazzo
2007 J jnl
Observation Based System Security.
Fundam. Informaticae
Damas P. Gruska
2006 — conf
Information-Flow Attacks Based on Limited Observations.
Ershov Memorial Conference
Damas P. Gruska
2006 J jnl
Network Information Flow.
Fundam. Informaticae
Damas P. Gruska
2001 J jnl
Process Algebras for Network Communication.
Fundam. Informaticae
Damas P. Gruska, Andrea Maggiolo-Schettini
1997 B conf
Bounded Concurrency.
FCT
Damas P. Gruska
1996 — conf
Process Algebra for Shared Ressources.
Parcella
Damas P. Gruska
1992 — conf
Process Communication Environment.
NAPAW
Damas P. Gruska, Andrea Maggiolo-Schettini
1992 — conf
Real-Time Communication Networks.
NATO ASI RTC
Damas P. Gruska
1990 J jnl
Genomorphisms of Semi-Modular Lattices.
J. Comput. Syst. Sci.
Damas P. Gruska