FPS-2024: 17TH INTERNATIONAL SYMPOSIUM ON FOUNDATIONS & PRACTICE OF SECURITY

This page contains an index consisting of author-provided keywords.

A
Access	Parametric Automata for Dynamic Access Control Policies
Active Learning	Is Expert-Labeled Data Worth the Cost? Exploring Active and Semi-Supervised Learning Across Imbalance Scenarios in Financial Crime Detection
Adoption	Exploring Smart Speaker Disclosure and Adoption Intentions: A Privacy Adoption Calculus Perspective
Adversarial Debiasing	Does Gender Matter? Examining and Mitigating Gender Bias in Fake News Detection
AI-Assistant	"You still have to study" - On the Security of LLM generated code.
AIS	ICoSSiuM: an Integrated Communication Security Simulator for Maritime operations
Alloy	Toward Automatic Enforcement of Security Patterns in Software Architecture Using Alloy
Android	A Systematic Evaluation of Non-SDK Interface Restrictions in Android: Bridging the Gap Between Guidelines and Practice
Anomaly detection	Detecting Cyber Attacks on Electric Vehicles Charging Stations
attack path	Lowering the Barrier: An Automatic Attack Flow Generation Framework for Non-Security Experts
attribute-based access control	An Approach for Handling Missing Attribute Values in Attribute-Based Access Control Policy Mining
Attribute-Based Encryption	Light-SABRE: A lightweight encrypted data distribution system for Internet of Things
Authenticated data collection	Actively Secure Authenticated Data Acquisition Protocols: Advancing Substation Automation Security
Authorization	Toward Automatic Enforcement of Security Patterns in Software Architecture Using Alloy
Automata	Parametric Automata for Dynamic Access Control Policies
Automatic Identification System	ICoSSiuM: an Integrated Communication Security Simulator for Maritime operations
B
Balance scale	Secure Voting Protocol Using Balance Scale
Batteryless IoT	Detecting Energy Attacks in the Battery-less Internet of Things
Behavioral authentication system	A Privacy-Preserving Behavioral Authentication System
Behavioural Security Posture	An Approach to Determine a System's Behavioural Security Posture
Benchmarking	Evaluating Large Language Models on Cybersecurity Knowledge and Skills: A Comparative Analysis
BERT	Advanced Real-Time Detection of Cyber Threat Information from Tweets
binary vulnerability	Monitoring the execution of cryptographic functions
Blockchains	Secure Data Traceability for Mobile DataCollectors
C
case study	Mitigating spillover effects of ransomware in financial markets: Lessons from the LockBit attacks
Chaos	Enhancing Text Encryption in Cloud Computing Using a Hyper-Chaotic System with Logistic Map
Client-work	RouterORAM: An O(1)-latency and client-work ORAM
Cloud Computing	Enhancing Text Encryption in Cloud Computing Using a Hyper-Chaotic System with Logistic Map
Code Security	"You still have to study" - On the Security of LLM generated code.
Computational Efficiency	Intelligent Green Efficiency for Intrusion Detection
Context-Awareness	Enhancing Autonomy of Context-Aware Self-Healing in Fog Native Environments
Control	Parametric Automata for Dynamic Access Control Policies
Control Selection	A Tool for Enabling Scalable Automation in Security Control Selection
Control Standards	A Tool for Enabling Scalable Automation in Security Control Selection
cryptanalysis	Monitoring the execution of cryptographic functions
Cryptographic Protocol Shapes Analyzer (CPSA)	ModelForge: Using GenAI to Improve the Development of Security Protocols
CVE report analysis	ExploitabilityBirthMark: An Early Predictor of the Likelihood of Exploitation
CWE	"You still have to study" - On the Security of LLM generated code.
cyber risk	Mitigating spillover effects of ransomware in financial markets: Lessons from the LockBit attacks
Cyber Threat Intelligence	Advanced Real-Time Detection of Cyber Threat Information from Tweets
Cyber Threat Intelligence (CTI)	LocalIntel: Generating Organizational Threat Intelligence from Global and Local Cyber Knowledge
Cyber-Physical Systems	Detecting Cyber Attacks on Electric Vehicles Charging Stations
Cybercrime	The Perfect Victim? Family Offices as Targets for Cybercriminals
Cybersecurity	The Perfect Victim? Family Offices as Targets for Cybercriminals LocalIntel: Generating Organizational Threat Intelligence from Global and Local Cyber Knowledge Evaluating Large Language Models on Cybersecurity Knowledge and Skills: A Comparative Analysis Privacy-Preserving Machine Learning Inference for Intrusion Detection Enhancing Autonomy of Context-Aware Self-Healing in Fog Native Environments
D
Data Privacy	Privacy Guard: Empowering Users with Privacy Labels and Intuitive Apps An Innovative DSSE Framework: Ensuring Data Privacy and Query Verification in Untrusted Cloud Environments
Data traceability	Secure Data Traceability for Mobile DataCollectors
deep learning	Automated Exploration of Optimal Neural Network Structures for Deepfake Detection Intelligent Green Efficiency for Intrusion Detection
Deep Reinforcement Learning	Advanced Real-Time Detection of Cyber Threat Information from Tweets
Deepfake	Automated Exploration of Optimal Neural Network Structures for Deepfake Detection
detection	Automated Exploration of Optimal Neural Network Structures for Deepfake Detection
Drone vulnerabilities	Drone Anomaly Detection: Dataset and Unsupervised Machine Learning
Dynamic	Parametric Automata for Dynamic Access Control Policies
E
Electric Vehicle Charging Stations	Detecting Cyber Attacks on Electric Vehicles Charging Stations
Energy harvesting	Detecting Energy Attacks in the Battery-less Internet of Things
Enforcement	Toward Automatic Enforcement of Security Patterns in Software Architecture Using Alloy
Exploitability prediction	ExploitabilityBirthMark: An Early Predictor of the Likelihood of Exploitation
F
Fake News	Does Gender Matter? Examining and Mitigating Gender Bias in Fake News Detection
Fake News Detection	ProFineLlama: A Prompt and Fine-Tuned Transfer Learning Approach for Multi-Domain Fake News Detection
Family Office	The Perfect Victim? Family Offices as Targets for Cybercriminals
Feature Selection	Intelligent Green Efficiency for Intrusion Detection
Finance	The Perfect Victim? Family Offices as Targets for Cybercriminals
financial market	Mitigating spillover effects of ransomware in financial markets: Lessons from the LockBit attacks
Fine-Tuning	ProFineLlama: A Prompt and Fine-Tuned Transfer Learning Approach for Multi-Domain Fake News Detection
Fingerprinting	Fingerprinting Connected Wi-Fi Devices Using Per-network MAC Addresses
Formal Methods	ModelForge: Using GenAI to Improve the Development of Security Protocols
Formal Modeling	Toward Automatic Enforcement of Security Patterns in Software Architecture Using Alloy
Formal Verification	Toward Automatic Enforcement of Security Patterns in Software Architecture Using Alloy
Forward Privacy	An Innovative DSSE Framework: Ensuring Data Privacy and Query Verification in Untrusted Cloud Environments
Fraud Detection	Is Expert-Labeled Data Worth the Cost? Exploring Active and Semi-Supervised Learning Across Imbalance Scenarios in Financial Crime Detection
Function Secret Sharing	Another Walk for Monchi
G
Game theory	A Tool for Enabling Scalable Automation in Security Control Selection
Gender Bias	Does Gender Matter? Examining and Mitigating Gender Bias in Fake News Detection
Generative AI	LocalIntel: Generating Organizational Threat Intelligence from Global and Local Cyber Knowledge ModelForge: Using GenAI to Improve the Development of Security Protocols
Green AI	Intelligent Green Efficiency for Intrusion Detection
H
Homomorphic Encryption	Another Walk for Monchi RouterORAM: An O(1)-latency and client-work ORAM
Hyper-chaotic	Enhancing Text Encryption in Cloud Computing Using a Hyper-Chaotic System with Logistic Map
I
IDS	Enhancing Autonomy of Context-Aware Self-Healing in Fog Native Environments
image recognition	Automated Exploration of Optimal Neural Network Structures for Deepfake Detection
Information Disclosure	Exploring Smart Speaker Disclosure and Adoption Intentions: A Privacy Adoption Calculus Perspective
Intermittent computing	Detecting Energy Attacks in the Battery-less Internet of Things
Internet of Things	Light-SABRE: A lightweight encrypted data distribution system for Internet of Things
Intrusion Detection	Detecting Cyber Attacks on Electric Vehicles Charging Stations Privacy-Preserving Machine Learning Inference for Intrusion Detection
IoT	Priv-IoT: Privacy-preserving Machine Learning in IoT Utilizing TEE and Lightweight Ciphers Enhancing Autonomy of Context-Aware Self-Healing in Fog Native Environments
IoT data privacy	Privacy Guard: Empowering Users with Privacy Labels and Intuitive Apps
K
Knapsack problem	A Tool for Enabling Scalable Automation in Security Control Selection
Knowledge and Skills Evaluation	Evaluating Large Language Models on Cybersecurity Knowledge and Skills: A Comparative Analysis
Knowledge Contextualization	LocalIntel: Generating Organizational Threat Intelligence from Global and Local Cyber Knowledge
L
Large Language Model (LLM)	LocalIntel: Generating Organizational Threat Intelligence from Global and Local Cyber Knowledge
Large Language Models	Evaluating Large Language Models on Cybersecurity Knowledge and Skills: A Comparative Analysis
Large Language Models (LLM	ModelForge: Using GenAI to Improve the Development of Security Protocols
Latency	RouterORAM: An O(1)-latency and client-work ORAM
Lightweight Cryptography	Priv-IoT: Privacy-preserving Machine Learning in IoT Utilizing TEE and Lightweight Ciphers
LLM	"You still have to study" - On the Security of LLM generated code.
Logistic Map	Enhancing Text Encryption in Cloud Computing Using a Hyper-Chaotic System with Logistic Map
M
Machine Learning	Priv-IoT: Privacy-preserving Machine Learning in IoT Utilizing TEE and Lightweight Ciphers An Empirical Study of Black-box based Membership Inference Attacks on a Real-World Dataset Intelligent Green Efficiency for Intrusion Detection Enhancing Autonomy of Context-Aware Self-Healing in Fog Native Environments
Maritime Communication vulnerabilities	ICoSSiuM: an Integrated Communication Security Simulator for Maritime operations
Maritime Cybersecurity	ICoSSiuM: an Integrated Communication Security Simulator for Maritime operations
Maritime Simulator	ICoSSiuM: an Integrated Communication Security Simulator for Maritime operations
Measurement	Fingerprinting Connected Wi-Fi Devices Using Per-network MAC Addresses
Membership Inference Attack	An Empirical Study of Black-box based Membership Inference Attacks on a Real-World Dataset
MFBR schemes	Another Walk for Monchi
missing data	An Approach for Handling Missing Attribute Values in Attribute-Based Access Control Policy Mining
MITRE ATT&CK	Lowering the Barrier: An Automatic Attack Flow Generation Framework for Non-Security Experts
Monitoring	Detecting Cyber Attacks on Electric Vehicles Charging Stations
Multi-Domain Classification	ProFineLlama: A Prompt and Fine-Tuned Transfer Learning Approach for Multi-Domain Fake News Detection
N
NAS	Automated Exploration of Optimal Neural Network Structures for Deepfake Detection
Natural Language Processing (NLP)	ModelForge: Using GenAI to Improve the Development of Security Protocols
non-SDK interfaces	A Systematic Evaluation of Non-SDK Interface Restrictions in Android: Bridging the Gap Between Guidelines and Practice
O
ORAM	RouterORAM: An O(1)-latency and client-work ORAM
P
Parametric	Parametric Automata for Dynamic Access Control Policies
Pattern Matching	An Approach to Determine a System's Behavioural Security Posture
Persistent MACs	Fingerprinting Connected Wi-Fi Devices Using Per-network MAC Addresses
Privacy	Fingerprinting Connected Wi-Fi Devices Using Per-network MAC Addresses Light-SABRE: A lightweight encrypted data distribution system for Internet of Things
Privacy attacker	A Privacy-Preserving Behavioral Authentication System
Privacy Label	Privacy Guard: Empowering Users with Privacy Labels and Intuitive Apps
Privacy Perceptions	Exploring Smart Speaker Disclosure and Adoption Intentions: A Privacy Adoption Calculus Perspective
Privacy-preserving authentication	A Privacy-Preserving Behavioral Authentication System
Privacy-Preserving biometric systems	Another Walk for Monchi
Privacy-Preserving Machine Learning (PPML)	Privacy-Preserving Machine Learning Inference for Intrusion Detection
Probe-requests	Fingerprinting Connected Wi-Fi Devices Using Per-network MAC Addresses
Programming Languages	Intelligent Green Efficiency for Intrusion Detection
Prompt Tuning	ProFineLlama: A Prompt and Fine-Tuned Transfer Learning Approach for Multi-Domain Fake News Detection
Prompting Techniques	"You still have to study" - On the Security of LLM generated code.
Protocol Analysis	ModelForge: Using GenAI to Improve the Development of Security Protocols
Proxy Re-Encryption	Light-SABRE: A lightweight encrypted data distribution system for Internet of Things
R
Random projection	A Privacy-Preserving Behavioral Authentication System
ransomware	Mitigating spillover effects of ransomware in financial markets: Lessons from the LockBit attacks
reverse-engineering	Monitoring the execution of cryptographic functions
S
SCADA	Actively Secure Authenticated Data Acquisition Protocols: Advancing Substation Automation Security
Secure Hardware Components	Secure Data Traceability for Mobile DataCollectors
Secure multiparty computation	Secure Voting Protocol Using Balance Scale
Secure transport protocol	Actively Secure Authenticated Data Acquisition Protocols: Advancing Substation Automation Security
Security and Privacy of AI	An Empirical Study of Black-box based Membership Inference Attacks on a Real-World Dataset
Security controls	A Tool for Enabling Scalable Automation in Security Control Selection
Security Metrics	An Approach to Determine a System's Behavioural Security Posture
Security Pattern	Toward Automatic Enforcement of Security Patterns in Software Architecture Using Alloy
security policy mining	An Approach for Handling Missing Attribute Values in Attribute-Based Access Control Policy Mining
Security Protocols	ModelForge: Using GenAI to Improve the Development of Security Protocols
Security testing	Detecting Cyber Attacks on Electric Vehicles Charging Stations
Self-Healing	Enhancing Autonomy of Context-Aware Self-Healing in Fog Native Environments
Semi-Supervised Learning	Is Expert-Labeled Data Worth the Cost? Exploring Active and Semi-Supervised Learning Across Imbalance Scenarios in Financial Crime Detection
Smart grid security	Actively Secure Authenticated Data Acquisition Protocols: Advancing Substation Automation Security
Smart Speakers	Exploring Smart Speaker Disclosure and Adoption Intentions: A Privacy Adoption Calculus Perspective
spillover	Mitigating spillover effects of ransomware in financial markets: Lessons from the LockBit attacks
Sticky Policies	Light-SABRE: A lightweight encrypted data distribution system for Internet of Things
T
Text encryption	Enhancing Text Encryption in Cloud Computing Using a Hyper-Chaotic System with Logistic Map
Threat Information Detection	Advanced Real-Time Detection of Cyber Threat Information from Tweets
threat modeling	Lowering the Barrier: An Automatic Attack Flow Generation Framework for Non-Security Experts
Threat Patterns	An Approach to Determine a System's Behavioural Security Posture
Transfer Learning	ProFineLlama: A Prompt and Fine-Tuned Transfer Learning Approach for Multi-Domain Fake News Detection
Trusted Execution Environment	Priv-IoT: Privacy-preserving Machine Learning in IoT Utilizing TEE and Lightweight Ciphers Secure Data Traceability for Mobile DataCollectors
Trusted Platform Module	Secure Data Traceability for Mobile DataCollectors
Twitter Data Analysis	Advanced Real-Time Detection of Cyber Threat Information from Tweets
Two-Party Computation	Another Walk for Monchi
U
UML Activity Diagrams	An Approach to Determine a System's Behavioural Security Posture
Unsupervised Anomaly Detection	Drone Anomaly Detection: Dataset and Unsupervised Machine Learning
Usable Privacy	Privacy Guard: Empowering Users with Privacy Labels and Intuitive Apps
Usage Perceptions	Exploring Smart Speaker Disclosure and Adoption Intentions: A Privacy Adoption Calculus Perspective
User Behaviour	Exploring Smart Speaker Disclosure and Adoption Intentions: A Privacy Adoption Calculus Perspective
V
Veridex	A Systematic Evaluation of Non-SDK Interface Restrictions in Android: Bridging the Gap Between Guidelines and Practice
Verifiable DSSE	An Innovative DSSE Framework: Ensuring Data Privacy and Query Verification in Untrusted Cloud Environments
Voting	Secure Voting Protocol Using Balance Scale
Vulnerability	Toward Automatic Enforcement of Security Patterns in Software Architecture Using Alloy
Vulnerability assessment	ExploitabilityBirthMark: An Early Predictor of the Likelihood of Exploitation
Vulnerability prioritization	ExploitabilityBirthMark: An Early Predictor of the Likelihood of Exploitation
W
Wi-Fi	Fingerprinting Connected Wi-Fi Devices Using Per-network MAC Addresses
Wi-Fi based Drone	Drone Anomaly Detection: Dataset and Unsupervised Machine Learning

Disclaimer | Powered by EasyChair Smart Program