SAC

Publications

2024

Marco De Vincenzi, Chiara Bodei, Ilaria Matteucci
OLIVE: Flexible, Portable, and Sustainable V2X Multi-Factor Authentication. SAC (2024)
Reham Alharbi, Valentina A. M. Tamma, Floriana Grasso, Terry R. Payne
An Experiment in Retrofitting Competency Questions for Existing Ontologies. SAC (2024)
Dorde Markovic, Simon Vandevelde, Linde Vanbesien, Joost Vennekens, Marc Denecker
An epistemic logic for modeling decisions in the context of incomplete knowledge. SAC (2024)
Burak Öz, Filip Rezabek, Jonas Gebele, Felix Hoops, Florian Matthes
A Study of MEV Extraction Techniques on a First-Come-First-Served Blockchain. SAC (2024)
Rodrigo Souza, Marcelo Manzato
A Two-Stage Calibration Approach for Mitigating Bias and Fairness in Recommender Systems. SAC (2024)
Lisa Ehrlinger, Harald Holzner, Nora Hemelmayr, Wolfram Wöß
A News Article Tag Categorization Ontology. SAC (2024)
Maria J. P. Peixoto, Akramul Azim
Explainable Artificial Intelligence (XAI) Approach for Reinforcement Learning Systems. SAC (2024)
Meriem Bouzouad, Yasmine Benhamadi, Camélia Slimani, Jalil Boukhobza
PIGMMaLIOn: a Partial Incremental Gaussian Mixture Model with a Low I/O Design. SAC (2024)
Niklas Sänger, Sebastian Abeck
Fine-Grained Authorization in Microservice Architecture: A Decentralized Approach. SAC (2024)
Hicham Lakhlef, Khaled Abid, Ghada Jaber, Fabio D'Andreagiovanni
Efficient Time Slot Recovery Protocol for Wireless Networks. SAC (2024)
Javier Barrera, Leonidas Kosmidis, Enrico Mezzetti, Jaume Abella, Francisco J. Cazorla
Increasing Testing Robustness of GPU Software in Embedded Critical Systems. SAC (2024)
Mohamed Ali Zormati, Hicham Lakhlef, Sofiane Ouni
Routing Optimization Based on Distributed Intelligent Network Softwarization for the Internet of Things. SAC (2024)
Justin Schoenit, Seth Akins, Ramon Lawrence
EmbedDB: A High-Performance Database for Resource-Constrained Embedded Systems Too Small for SQLite. SAC (2024)
Soobin Park, Yuna Jeong, Yong Suk Choi
Efficient Dual Attention Transformer for Image Super-Resolution. SAC (2024)
Florian Lanzinger, Christian Martin, Frederik Reiche, Samuel Teuber, Robert Heinrich, Alexander Weigl
Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis. SAC (2024)
Elitsa Pankovska, Ashish Rajendra Sai, Harald Vranken, Alan Ransil
Electricity Consumption of Ethereum and Filecoin: Advances in Models and Estimates. SAC (2024)
Karthik Vaidhyanathan, Mauro Caporuscio, Stefano Florio, Henry Muccini
ML-enabled Service Discovery for Microservice Architecture: a QoS Approach. SAC (2024)
Zachary R. Madin, Jonathan Lawry, Edmund R. Hunt
Collective Anomaly Perception During Multi-Robot Patrol: Constrained Interactions Can Promote Accurate Consensus. SAC (2024)
Bangjie Zhu, Jiaqi Yin, Sini Chen, Huibiao Zhu
Formalization and Verification of Delegate Contract Signing Mechanism Based on Smart Contract Using CSP. SAC (2024)
Mohammad Hassany, Jiaze Ke, Peter Brusilovsky, Arun Balajiee Lekshmi Narayanan, Kamil Akhuseyinoglu
Authoring Worked Examples for JAVA Programming with Human AI Collaboration. SAC (2024)
Marcelo Karanik, Holger Billhardt, Alberto Fernández, Sascha Ossowski
On the relevance of value system structure for automated value-aligned decision-making. SAC (2024)
Muhammad Uzair-Ul-Haq, Paolo Frazzetto, Alessandro Sperduti, Giovanni Da San Martino
Improving Soft Skill Extraction via Data Augmentation and Embedding Manipulation. SAC (2024)
Samuel Idowu, Yorick Sens, Thorsten Berger, Jacob Krüger, Michael Vierhauser
A Large-Scale Study of ML-Related Python Projects. SAC (2024)
Mohammed Ahmed Taiye, Christopher High, Johanna Velander, Khaled Matar, Rihards Okmanis, Marcelo Milrad
Generative AI-Enhanced Academic Writing: A Stakeholder-Centric Approach for the Design and Development of CHAT4ISP-AI. SAC (2024)
Milan Salko, Anton Firc, Kamil Malinka
Security Implications of Deepfakes in Face Authentication. SAC (2024)
Anders Schlichtkrull, René Rydhof Hansen, Flemming Nielson
Isabelle-verified correctness of Datalog programs for program analysis. SAC (2024)
Ling Kai Yen, Jasin Wong, Arbee L. P. Chen
Identifying Chinese Handwriting Characteristics for Detecting Children with Autism. SAC (2024)
Amirhossein Layegh, Amir Hossein Payberah, Ahmet Soylu, Dumitru Roman, Mihhail Matskin
Wiki-based Prompts for Enhancing Relation Extraction using Language Models. SAC (2024)
Marina Luísa de Souza Carrasco Vieira, Marina De Lara, Marcelo Eduardo Pellenz, Mauricio Biczkowski, Marcos Alberto Mochinski, Fabrício Enembreck, Edgard Jamhour, Voldi Costa Zambenedetti
Satellite Imagery-Assisted Link-Budget Analysis Algorithm for Smart Grid Wireless Backhaul Network Planning. SAC (2024)
Jáchym Bártík, Pavel Koupil, Irena Holubová
Modelling and Evolution Management of Multi-Model Data. SAC (2024)
Pedro Camponês, Henrique Domingos
Dynamic Optimization of the Latency Throughput Trade-off in Parallel Chain Distributed Ledgers. SAC (2024)
Kutz Arrieta, Pablo R. Fillottrani, C. Maria Keet
CoSMo: A multilingual modular language for Content Selection Modelling. SAC (2024)
James William Pontes Miranda, Hugo Bruneliere, Massimo Tisi, Gerson Sunyé
Towards the Integration Support for Machine Learning of Inter-Model Relations in Model Views. SAC (2024)
Rashida Hasan, Chee-Hung Henry Chu
A Heterogeneous Ensemble Method for Handling Class Noise in Supervised Machine Learning. SAC (2024)
Gayatri Priyadarsini Kancherla
Student Research Abstract: Least Privilege Persistent-Storage Access in Web Browsers. SAC (2024)
Mouzhi Ge, Bruno Rossi, Stanislav Chren, José Miguel Blanco
Petri Nets for Smart Grids: The Story So Far. SAC (2024)
Sojeong Kim, Dongjun Lee, Jaekwang Kim
Elevating CTR Prediction: Field Interaction, Global Context Integration, and High-Order Representations. SAC (2024)
Yen Ying Ng, Ryszard Kuduk
Implementing Action Items Over Improving the Format of Retros. SAC (2024)
Jake Choi, Sunchul Jung, Heon Young Yeom
GPU Memory Reallocation Techniques in Fully Homomorphic Encryption Workloads. SAC (2024)
Joost Oortwijn, Carlos Gañán
Patch Pilgrimage: Exploring the Landscape of TCP Reflective Attacks and User Patching Expedition. SAC (2024)
Tossapol Pomsuwan, Alex Alves Freitas
A Genetic Algorithm-based Auto-ML System for Survival Analysis. SAC (2024)
Jeremias Dötterl, Zahra Hemmati Fard
Classification of Home Network Problems with Transformers. SAC (2024)
Azeem Ahmad, Kristian Sandahl, Daniel Hasselqvist, Pontus Sandberg
Information Needs in Continuous Integration and Delivery in Large Scale Organizations: An Observational Study. SAC (2024)
Kwanghoon Choi, Sooyeon Hwang, Hyeonah Moon, Isao Sasano
Ranked Syntax Completion With LR Parsing. SAC (2024)
Giorgio Blandano, Jacopo Burger, Annalisa Cappella, Claudia Dolci, Giuseppe Maurizio Facchi, Federico Pedersini, Chiarella Sforza, Gianluca Martino Tartaglia
Gender Classification via Graph Convolutional Networks on 3D Facial Models. SAC (2024)
Iván Abellán Álvarez, Vincent Gramlich, Johannes Sedlmeir
Unsealing the secrets of blockchain consensus: A systematic comparison of the formal security of proof-of-work and proof-of-stake. SAC (2024)
Mahmoud Abdelgawad, Indrakshi Ray
Methodology for Resiliency Analysis of Mission-critical Systems. SAC (2024)
Vinícius de Miranda Rios, Pedro R. M. Inácio, Damien Magoni, Mário M. Freire
Detection of Slowloris Attacks using Machine Learning Algorithms. SAC (2024)

volume 14201, 2024

Selected Areas in Cryptography - SAC 2023 - 30th International Conference, Fredericton, Canada, August 14-18, 2023, Revised Selected Papers SAC 14201 (2024)

volume 13742, 2024

Selected Areas in Cryptography - 29th International Conference, SAC 2022, Windsor, ON, Canada, August 24-26, 2022, Revised Selected Papers SAC 13742 (2024)