yusuke1997/dblp-id-title huggingface dataset:
Formal Modeling in a Generalized Framework for Access Control
Data-Driven Software Security: Models and Methods
Some new attacks upon security protocols
Type-Based Analysis of Generic Key Management APIs
A Comparison of non-Interference and Non-Deducibility using CSP
Automaton-based Confidentiality Monitoring of Concurrent Programs
Towards Automatic Verification of Authentication Protocols on an Unbounded Network
Probability from Possibility: Probabilistic Confidentiality for Storage Systems Under Nondeterminism
Formal Specification of Intrusion Signatures and Detection Rules
30th IEEE Computer Security Foundations Symposium, CSF 2017, Santa Barbara, CA, USA, August 21-25, 2017
The LDV Approach to Polyinstantiation
Nontransitive Security Types for Coarse-grained Information Flow Control
A Statistical Test for Information Leaks Using Continuous Mutual Information
Secure Information Flow and Pointer Confinement in a Java-like Language
Information-Flow Analysis for Covert-Channel Identification in Multilevel Secure Operating Systems
Security Analysis of Voice-over-IP Protocols
C3PO: A Tool for Automatic Sound Cryptographic Protocol Analysis
Impossibility Results for Secret Establishment
Polynomial Runtime in Simulatability Definitions
Optimal Obfuscation Mechanisms via Machine Learning
Encoding Information Flow in Haskell
Towards a Completeness Result for Model Checking of Security Protocols
An Algebraic Approach to Non-Interference
A Formal Analysis of Syverson?s Rational Exchange Protocol
How to Wrap it up - A Formally Verified Proposal for the use of Authenticated Wrapping in PKCS#11
Multiple Trojan Horse Systems and Covert Channel Analysis
VERONICA: Expressive and Precise Concurrent Information Flow Security
Resource-Aware Session Types for Digital Contracts
Conceptual Foundations for a Model of Task-based Authorizations
Information Sharing in Secure Systems
A State-Separating Proof for Yao's Garbling Scheme
TUC: Time-Sensitive and Modular Analysis of Anonymous Communication
Assuming You Know: Epistemic Semantics of Relational Annotations for Expressive Flow Policies
Inject Less, Recover More: Unlocking the Potential of Document Recovery in Injection Attacks Against SSE
Quantitative Evaluation of Confidentiality by Entropy Calculation
Type Annotations to Improve Stack-Based Access Control
Differential Privacy Analysis of Data Processing Workflows
Value-Sensitive Hybrid Information Flow Control for a JavaScript-Like Language
Gradual Security Types and Gradual Guarantees
Strategies against Replay Attacks
Gradual Sensitivity Typing
On the Refinement of Non-Interference
Privacy and Utility in Business Processes
Probabilistic Analysis of Anonymity
What Is Intransitive Noninterference?
A Trust Management Approach for Flexible Policy Management in Security-Typed Languages
Approximation and Randomization for Quantitative Information-Flow Analysis
Verified Security of Merkle-Damgård
Human Computing for Handling Strong Corruptions in Authenticated Key Exchange
Vertical Protocol Composition
Composition Theorems for CryptoVerif and Application to TLS 1.3
Policy Privacy in Cryptographic Access Control
First IEEE Computer Security Foundations Workshop - CSFW'88, Franconia, New Hampshire, USA, June 12-15, 1988, Proceedings
On Protection by Layout Randomization
Decidability for Lightweight Diffie-Hellman Protocols
A Formal Analysis of Some Properties of Kerberos 5 Using MSR
Attribute-Based Encryption for Access Control Using Elementary Operations
Updatable Security Views
A Type System for Observational Determinism
Backdoored Hash Functions: Immunizing HMAC and HKDF
Key distribution without individual trusted authentification servers
Towards a Flow- and Path-Sensitive Information Flow Analysis
Quantitative Formal Security Analysis
On Declassification and the Non-Disclosure Policy
Anonymity and Information Hiding in Multiagent Systems
Efficient Constructions of Pairing Based Accumulators
Rethinking Attack Path Management: A New Metric for Choke Points in Attack Graphs
Symbolic Parallel Composition for Multi-language Protocol Verification
A Type Discipline for Authorization in Distributed Systems
A Novel Approach to Differential Privacy with Alpha Divergence
Keep Spending: Beyond Optimal Cyber-Security Investment
Specifying Secure Transport Channels
Cryptographic Protocol Synthesis and Verification for Multiparty Sessions
Games for Controls
KEVM: A Complete Formal Semantics of the Ethereum Virtual Machine
Some Laws of Non-Interference
Applying consensus and replication securely with FLAQR
Unveiling the (in)Security of Threshold FHE-Based Federated Learning: The Practical Impact of Recent CPAD Attacks
Types and Abstract Interpretation for Authorization Hook Advice
Using Access Control for Secure Information Flow in a Java-like Language
Strong Invariants for the Efficient Construction of Machine-Checked Protocol Security Proofs
Collaborative Planning With Privacy
Efficient Privacy-Preserving Viral Strain Classification via k-mer Signatures and FHE
Using First-Order Logic to Reason about Policies
Automated Proofs for Diffie-Hellman-Based Key Exchanges
Specifying Security Constraints with Relaxation Lattices
Unreliable Intrusion Detection in Distributed Computations
Automated Verification of Remote Electronic Voting Protocols in the Applied Pi-Calculus
A Machine-Checked Formalization of Sigma-Protocols
Robust Safety for Move
Securing Cross-App Interactions in IoT Platforms
Language-Based Web Session Integrity
Formal Analysis of Random Nonce Misuses in Cryptographic Protocols
Beware of Greeks bearing entanglement? Quantum covert channels, information flow and non-local games
Symmetric Encryption in a Simulatable Dolev-Yao Style Cryptographic Library
Analysis of SPKI/SDSI Certificates Using Model Checking
Inference Working Group Kickoff: The Inference Problem for Computer Security
Temporal Rank Functions for Forward Secrecy
Verifying authentication protocols with CSP
Dimensions and Principles of Declassification
Modeling Restrictive Processes that Involve Blocking Requests
Exploiting attack-defense trees to find an optimal set of countermeasures
IEEE 28th Computer Security Foundations Symposium, CSF 2015, Verona, Italy, 13-17 July, 2015
Obstruction-Free Authorization Enforcement: Aligning Security with Business Objectives
On the Soundness of Attack Trees
Cross-Chain Swaps with Preferences
A Generic Framework to Develop and Verify Security Mechanisms at the Microarchitectural Level: Application to Control-Flow Integrity
Causal Security
Cryptographically Assured Information Flow: Assured Remote Execution
Provably Secure Isolation for Interruptible Enclaved Execution on Small Microprocessors
Optimizing Protocol Rewrite Rules of CIL Specifications
The Conflict Between Confidentiality and Integrity
Probabilistic Noninterference in a Concurrent Language
16th IEEE Computer Security Foundations Workshop (CSFW-16 2003), 30 June - 2 July 2003, Pacific Grove, CA, USA
Privacy APIs: Access Control Techniques to Analyze and Verify Legal Privacy Policies
Securing Concurrent Lazy Programs Against Information Leakage
Trusted System Construction
Markov Chains, Classifiers, and Intrusion Detection
Solving the Insecurity Problem for Assertions
Bridging Two Worlds: Reconciling Practical Risk Assessment Methodologies with Theory of Attack Trees
A Taxonomy of Security Properties for CCS
Noninterference under Weak Memory Models
Concavity, Core-concavity, Quasiconcavity: A Generalizing Framework for Entropy Measures
SoK: Delay-Based Cryptography
Formal Analysis of Multi-Party Contract Signing
Inputs of Coma: Static Detection of Denial-of-Service Vulnerabilities
Synthesis of Adaptive Side-Channel Attacks
Synthesizing Tight Privacy and Accuracy Bounds via Weighted Model Counting
Invited Paper: Secure Boot and Remote Attestation in the Sanctum Processor
Security Properties of Ring Brackets
Epistemic Model Checking for Privacy
CapablePtrs: Securely Compiling Partial Programs Using the Pointers-as-Capabilities Principle
From Input Private to Universally Composable Secure Multi-party Computation Primitives
A Lattice of Information
A Variation on the Themes of Message Freshness and Replay or, the Difficulty in Devising Formal Methods to Analyze Cryptographic Protocols
An Immunological Approach to Change Detection: Theoretical Results
Computationally Sound Mechanized Proofs of Correspondence Assertions
A Different Look at Secure Distributed Computation
A Maintainable Matrix Commitment Scheme with Constant-Size Public Parameters and Incremental Aggregation
Reasoning about Policy Behavior in Logic-Based Trust Management Systems: Some Complexity Results and an Operational Framework
Types and Effects for Asymmetric Cryptographic Protocols
Security Protocol Design via Authentication Tests
Deciding Secrecy of Security Protocols for an Unbounded Number of Sessions: The Case of Depth-Bounded Processes
Pessimism of the Will, Optimism of the Intellect: Fair Protocols with Malicious but Rational Agents
The Insecurity Problem: Tackling Unbounded Data
Towards Language-Based Mitigation of Traffic Analysis Attacks
Relating Bell-LaPadula-Style Security Models to Information Models
A Compositional Logic for Protocol Correctness
First-Order Logic for Flow-Limited Authorization
Expressive Power of the Schematic Protection Model
Oblivious Program Execution and Path-Sensitive Non-interference
From Stack Inspection to Access Control: A Security Analysis for Libraries
Computationally sound Bitcoin tokens
Provable Security Analysis of the Secure Remote Password Protocol
Realization of the Bell-LaPadula Security Policy in an OSI-Distributed System using Asymmetric and Symmetric Cryptographic Algorithms
A Proof of Secrecy for a Network Security Model
Verifying Hyperproperties With TLA
New Directions in Attack Tree Research: Catching up with Industrial Needs
Symbolic Verification of Privacy-Type Properties for Security Protocols with XOR
Regret Minimizing Audits: A Learning-Theoretic Basis for Privacy Protection
Multi-run Side-Channel Analysis Using Symbolic Execution and Max-SMT
Logical Relations for Encryption
Differential Privacy by Typing in Security Protocols
Formal Analysis of a Non-Repudiation Protocol
Secure Composition of PKIs with Public Key Protocols
Implementing a Verification Methodology for McCullough Security
Proving Differential Privacy in Hoare Logic
Third IEEE Computer Security Foundations Workshop - CSFW'90, Franconia, New Hampshire, USA, June 12-14, 1990, Proceedings
Secure Composition of Untrusted Code: Wrappers and Causality Types
Secure Implementations for Typed Session Abstractions
Deciding Branching Hyperproperties for Real Time Systems
Atomic Transfer Graphs: Secure-by-Design Protocols for Heterogeneous Blockchain Ecosystems
Secure Software Licensing: Models, Constructions, and Proofs
A Petri Net Representation of the Take-Grant Model
Decomposing, Comparing, and Synthesizing Access Control Expressiveness Simulations
Machine-Checked Proofs of Privacy Against Malicious Boards for Selene & Co
A State-Transition Model of Trust Management and Access Control
On Compositional Information Flow Aware Refinement
Secure Contexts for Confidential Data
Process Algebra and Non-Interference
Hiding Functions and Computational Security of Image Watermarking Systems
Distributed Authorization Using Delegation with Acyclic Paths
A Probabilistic Logic for Concrete Security
Location Privacy via Differential Private Perturbation of Cloaking Area
The Diffie-Hellman Key-Agreement Scheme in the Strand-Space Model
Composition in Differential Privacy for General Granularity Notions
25th IEEE Computer Security Foundations Symposium, CSF 2012, Cambridge, MA, USA, June 25-27, 2012
Provably Sound Browser-Based Enforcement of Web Session Integrity
Precise Enforcement of Confidentiality for Reactive Systems
Self-Guarding Cryptographic Protocols against Algorithm Substitution Attacks
4th IEEE Computer Security Foundations Workshop - CSFW'91, Franconia, New Hampshire, USA, June 18-20, 1991, Proceedings
Modeling Diffie-Hellman Derivability for Automated Analysis
Time-Dependent Decision-Making and Decentralization in Proof-of-Work Cryptocurrencies
Expressive Power of Definite Clauses for Verifying Authenticity
Verifiable E-Voting with a Trustless Bulletin Board
Analyzing the Shuffle Model Through the Lens of Quantitative Information Flow
Foundations of Multi-Designated Verifier Signature Comprehensive Formalization and New Constructions in Subset Simulation
Secure Compilation and Hyperproperty Preservation
On DoS Vulnerability of Regular Expressions, with and Without Backreferences
Modeling Mobile Crash in Byzantine Consensus
Relative Perfect Secrecy: Universally Optimal Strategies and Channel Design
N-Tube: Formally Verified Secure Bandwidth Reservation in Path-Aware Internet Architectures
Noninterference in the Presence of Non-Opaque Pointers
The NRL Protocol Analysis Tool: A Position Paper
Universal Unconditional Verifiability in E-Voting without Trusted Parties
A Peered Bulletin Board for Robust Use in Verifiable Voting Systems
The Complexity of Verifying Boolean Programs as Differentially Private
Symbolic protocol verification with dice: process equivalences in the presence of probabilities
A Logic for Reasoning about Security
Mixed Strand Spaces
Designing a Digital Repository for the Cultural and Natural Heritage of the Island of Zakynthos
Development of a Tool for Auditing Accessibility of Public Infrastructure and Points of Interest in Urban Areas
A Convolutional Neural Network for Sentiment Analysis of TripAdvisor reviews
Students' Evaluation of the "Web Technologies" Android Application for Higher Education
The VISOR project: Virtual coachIng Services for OldeR adults
Sampling Points Selection Algorithm For Advanced Photolithography Process
On Security Provision in Demanding Cyberphysical Bluetooth based Systems
Smart Tourism via Smart Phone - An Enhanced Approach
The integration of e-tutoring programs in secondary education. A digital transformation strategy
Learning 4.0: Innovation Directions driven by Employers Perspective
ARM64 Architecture: A Review in Virtualization Technology and Cloud Computing Maturity, in the context of Environmental Sustainability
Enhanced Vendor-managed Inventory through Blockchain
Supervisors for Gas Compressor Stations with Compression and Valve Faults
Real-Time Brain-Computer Interface Control of a Wheelchair Using Motor Imagery Commands
Modeling Network Traffic and Exploring Distribution Fitting: A Case Study on Spotify
Object Detection for Low Light Images
Automated identification of fraudulent financial statements by analyzing data traces
Epistemologies for Technology and its Teaching: Untying the Knot of a Three-level Technological Problem
Creating and using digital games for learning in elementary and secondary education
Investigating the Greek political Twittersphere: Greek MPs and their Twitter network
Predicting, Modeling, and Designing for a Bitcoin's Technical Administrator's Micro-Credentials Skills
Predicting Fake News using GloVe and BERT Embeddings
Synthesis-Embedded Verification
Towards personalised public service co-creation using core vocabularies
QoS and MPLS design issues in NoCs
Assessment of Measures to Improve the Accessibility of People with Disabilities in Urban Areas
IoT Architecture for Monitoring Wine Fermentation Process of Debina Variety Semi-Sparkling Wine
Design and Evaluation of a Peripheral for Integrity Checking to Improve RAS in RISC-V Architectures
Greek Parliament Members on Instagram: A study on building a political image
Critical usage factors of ICT in higher education. Case study on Eastern Macedonia and Thrace Institute of Technology
Preliminary results of a proposed CNN framework for use in motorway applicable detection systems
Active touch classification using EEG signals
9th South-East Europe Design Automation, Computer Engineering, Computer Networks and Social Media Conference, SEEDA-CECNSM 2024, Athens, Greece, September 20-22, 2024
"Pythagorean Academy" - A game for the teaching of junior high school mathematics using mobile devices
Tourette Syndrome's Coprolalia Explanation using Bipartite Graph Matching of Thoughts and Game Theoretic Model for Symptoms Minimisation
5G Promotive Actions based upon enhanced Mobile Broadband (EMBB) Communication Trials between the EU and China
7th South-East Europe Design Automation, Computer Engineering, Computer Networks and Social Media Conference, SEEDA-CECNSM 2022, Ioannina, Greece, September 23-25, 2022
6th South-East Europe Design Automation, Computer Engineering, Computer Networks and Social Media Conference, SEEDA-CECNSM 2021, Preveza, Greece, September 24-26, 2021
A Cloud Gaming Architecture Leveraging Fog for Dynamic Load Balancing in Cluster-Based MMOs
Civic Fictions: Exploring the Socio-technical Implications of Augmented Reality in Future Cities through Science Fiction Prototyping
A peer, "wallet-only" consensus schema for ownership transfer over finite populations
Smart Agriculture: An Open Field For Smart Contracts
A two layer supervisor scheme for ring manufacturing production chains
The advantage of the 5G network for enhancing the Internet of Things
The CCC framework: Training and inference of a simple MLP for the XOR problem
AUGEIAS: Intelligent IoT management platform for treated wastewater reuse in precision agriculture
Multi-Objective Design Optimization of Piezoelectric Energy Harvesting System for Unmanned Aerial Vehicles
Introducing the Fundamentals of Artificial Intelligence to K-12 Classrooms According to Educational Neuroscience Principles
A remote rehabilitation training system using Virtual Reality
SER Analysis of Multiple Transient Faults in Combinational Logic
A case study of a laboratory experimental process in Vocational Education Training (VET)
The role of hashtags in Social Networks: The case of social mobilization in Greece
"Athens Museum Explorer": A Pilot Application of Cultural Proposals for a Smart City
Using IoT Data-Driven Analysis of Water Consumption to support Design for Sustainable Behaviour during the COVID-19 Pandemic
Cooperative Intelligent Transport Systems Solution: a Cooperative Safety Application
Safe Driving Mobile Application using Gamification
An Efficient Mobility Management Scheme for 5G Network Architectures
Visible Light Positioning: A Machine Learning Approach
Smart Beds and Bedding Surfaces for Personalized Patient Care: A Review
One Dimensional Cross-Correlation Methods For Deterministic And Stochastic Graph Signals With A Twitter Application In Julia
Experience from developing an in-source e-governance solution for a Greek organisation
Security and Privacy Vulnerabilities in Human Activity Recognition systems
A Skyline-based Decision Boundary Estimation Method for Binominal Classification in Big Data
Stimulating Primary School Students' Interest in Data Structures Through ESA's Astro Pi Challenges
Structural Health Monitoring In Historical Buildings Using A Low Cost Wireless Sensor Network
A mink-fur farm livestock management platform The case of WelMink Project
Reputation Mechanisms in on-line Social Networks: The case of an Influence Estimation System in Twitter
Participatory, location-based systems in community place-making
Evaluation of Influential Properties in Twitter
Binary voxel map compression based on quadtree and octree subdivision, using arbitrary and non-power-of-2 dimensions
Open weather data evaluation for crop irrigation prediction mechanisms in the AUGEIAS project
Autonomous Unmanned Ground Vehicle in Precision Agriculture - The VELOS project
Motor Imagery Approach for BCI Game Development
Leaming Lorenz attractor differential equations using neural network
Redefining the Concept of Literacy: a DigCompEdu extension for Critical Engagement with AI tools
A Fuzzy Logic Controller for Double Inverted Pendulum on a Cart
Measurements on encrypted and non-encrypted IoT datasets stored in relational and JSONB fields
A Categorization of Cloud-Based Services and their Security Analysis in the Healthcare Sector
Knowledge Transformation and Distance Learning for Secondary Education Students. The Role of Educational Neuroscience
Accuracy Evaluation of SLAM Algorithms in RGB-D Sensors
Pathway Analysis for unraveling Complex Diseases: Current State and Future Perpectives
A comparative evaluation of RDBMS and GDBMS for shortest path operations on pedestrian navigation data
Yolov9 models for cancer detection in biopsy images: segmentation on pan-cancer data
Ship Engine Data Analysis for the Application of Machine Learning Algorithms
PP-TAN: a Privacy Preserving Multi-party Tree Augmented Naive Bayes Classifier
Reliability Analysis of Fault Tolerant Memory Systems
QoE-Aware Rendering Service Allocation in Fog-Assisted Cloud Gaming Environments
An Early Warning Opportunistic Interference Method in Tactical Voice and Data Communications
Creative Narration as an Ideation Technique
Escape room in education: Evaluating using Experience Pyramid Model
A Comparative Testing of Yolov8-Based Algorithm for Cancer Biopsy Images: Case Study on Pannuke Pan-Cancer Dataset
Educational Virtual Worlds for Vocational Education and Training Laboratories
Acceleration of GANs for Potato Crop Disease Identification via FPGA
An Emotional Intelligent Robot for primary education: The software development
Bringing Educational Neuroscience to Distance Learning with Design Thinking : The Design and Development of a Hybrid E-learning Platform for Skillful Training
Integrated Open Source Indoor Air Quality Monitoring Platform
Proof Systems In Blockchains: A Survey
High Throughput of Image Processing with Keccak Algorithm using Microprocessor on FPGA
Communication Security & Cyberbullying: A Review of the Legal Issues
Dynamic interactive number lines for fraction learning in a mixed reality environment
A Comparative Assessment of Machine Learning Algorithms for Events Detection
Inference speed and quantisation of neural networks with TensorFlow Lite for Microcontrollers framework
Road Traffic Prediction Using Artificial Neural Networks
Cloud Computing as a Strategic Asset: European Union Regulatory Inititatives
Leveraging Parallelization Opportunities by an Online CAD Tool
The Gamification Advantage: Innovating Education through Engagement
Using STEM Learning Concepts with IoT Technology on the Road of Education for Sustainability: A Short Literature Review
A gene visualising database
DataPAL: Data Protection and Authorization Lifecycle framework
A Quality and disease control system for beekeeping
Recognition of Greek Orthodox Hymns Using Audio Fingerprint Techniques
A Decision Support System for Monitoring and Control of Thermal Substations in District Heating Networks
Radiography Images with Transfer Learning on Embedded System
A Multimodal Computer Vision Approach for Wildlife Bird Surveillance using Drones
An Optimization-Based Approach for Analog Circuit Technology Migration
Proposed Industry 4.0 Maintenance framework for critical and demanding infrastructures and processes
A non-invasive closed-loop diagnostic and therapeutic wearable device for diabetic hyperglycemia prevention: System Architecture
Performance evaluation of Cloud Radio Access Networks by jointly considering communicational and computational network resources
Social Media and Consumer Behaviour: Exploratory Factor Analysis
Secure Video and Telemetry FPGA Architecture For UAVs
Parameter Tuning of Linear Programming Solvers
Fake News Detection Approach Using Hybrid Deep Learning Framework
A Comparison of Spatio-temporal Filters for Color Video Denoising
Conceptual Modeling and Meta-modeling of Museum Pedagogy for Vocational Education and Training
8th South-East Europe Design Automation, Computer Engineering, Computer Networks and Social Media Conference, SEEDA-CECNSM 2023, Piraeus, Greece, November 10-12, 2023
Scavenging PyPi for VLSI Packages
A Machine-Learning Clustering Approach for Intrusion Detection to IoT Devices
Placing Multi-Component Applications in the Multi-Access Edge Computing
Bridging the gap between school and out-of-school science: A Making pedagogical approach
Low-Power Electroencephalographic Data Encoding System for Implantable Brain Stimulation Systems
A flow supervisory control scheme in generic modular form
Parametric Evaluation Of Collaborative Filtering Over Apache Spark
An approach for Personalized Continuous Glucose Prediction with Regression Trees