yusuke1997/dblp-id-title huggingface dataset:
Age Estimation of Occluded Faces using EfficientNet-B3 CNN Model
Crypto-agile Design and Testbed for QKD-Networks
Reset- and Reconnection-based Covert Channels in CoAP
XAI-driven Adversarial Attacks on Network Intrusion Detectors
Older adults and tablet computers: Adoption and the role of perceived threat of cyber attacks
Emergent Needs in Assuring Security-Relevant Compliance of Information Systems
Useful Cyber Threat Intelligence Relation Retrieval Using Transfer Learning
Ethics by Design in Decentralized Computing
RADAR: A TTP-based Extensible, Explainable, and Effective System for Network Traffic Analysis and Malware Detection
Automated, Dynamic Android App Vulnerability and Privacy Leak Analysis: Design Considerations, Required Components and Available Tools
VHS-22 - A Very Heterogeneous Set of Network Traffic Data for Threat Detection
Improving Covert Channel Bandwidth by Variable-Length Exponent Re-Coding in Floating-Point Representations
Secure Collaborative Camera Attribution✱
Towards Detecting Anomalies in Log-Event Sequences with Deep Learning: Open Research Challenges
It is not as simple as that: Playing out password security trainings in order to nudge password changes
A Deep Learning-based Malware Traffic Classifier for 5G Networks Employing Protocol-Agnostic and PCAP-to-Embeddings Techniques
Insights into anomaly-based intrusion detection systems usability. A case study using real http requests
FAP: Design of an Architecture of a Forensic Access Point to Perform Online Access in a Forensically Sound Manner
CLOUDOSCOPE: Detecting Anti-Forensic Malware using Public Cloud Environments
Covert Channels in One-Time Passwords Based on Hash Chains
Attack Surface Measurement: A Weird Machines Perspective
Exploratory and Explanation-Aware Network Intrusion Profiling using Subgroup Discovery and Complex Network Analysis
Exploring the Associations between Website Trustworthiness, Cookie Consent and Taking an Online Survey
In Alice and Bob, I trust?
Framework and Roadmap for Secure Design and Development of Applications in the Cloud and Mobile Ecosystem
Russian Federal Remote E-voting Scheme of 2021 - Protocol Description and Analysis
Incentivising the federation: gradient-based metrics for data selection and valuation in private decentralised training
Cyber Informedness: A New Metric using CVSS to Increase Trust in Intrusion Detection Systems
Recommendation for Continuous Ethical Analysis of AI Algorithms
Kleptography in Authentication Protocols: Why is it Still Possible?
HTTP Cyberattacks Detection through Automatic Signature Generation in multi-site IoT Deployments
Understanding the Evolution of Transatlantic Data Privacy Regimes: Ideas, Interests, and Institutions
Usability, Security, and Privacy Recommendations for Mobile Parental Control
How Feasible are Steganographic and Stealth Attacks on TIA Project Metadata of ICS: A Case Study with Real-world Data
SFTC: Machine Unlearning via Selective Fine-tuning and Targeted Confusion
The Fragmented Research Space of Cybersecurity: A Map of the Territory
cryptolib: Comparing and selecting cryptography libraries
Learning Model Generalisation for Bot Detection
Modelling Indicators of Behaviour for Cyber Threat Hunting via Sysmon
A Comparison of SONA and MTurk for Cybersecurity Surveys
Understanding Corporate Ransomware - A Case Study in the Nordics
A Threat-Led Approach to Mitigating Ransomware Attacks: Insights from a Comprehensive Analysis of the Ransomware Ecosystem
PARAG: Proactive Answering Framework Integrating LLMs with Retrieval-Augmented Generation
A Hypergraph-based Model for Cyberincident-related Data Analysis
Honeypot's Best Friend? Investigating ChatGPT's Ability to Evaluate Honeypot Logs
Shadow-Heap: Preventing Heap-based Memory Corruptions by Metadata Validation
Retransmission steganography in real-world scenarios: a practical study
Homomorphic Encryption and Federated Learning based Privacy-Preserving CNN Training: COVID-19 Detection Use-Case
Detection of Anomalous Values within TIA Project Data History for Industrial Control Systems
Power Consumption Analysis for Reverse Engineering Digital Modulation: A Novel Approach to Physical Layer Attacks on Communication Systems
Comparison of neural network paradigms for their usefulness in a real-world network intrusion detection deployment and a proposed optimised approach
USBCulprit: USB-borne Air-Gap Malware
A Framework to Enable Cheating Detection in Multiplayer Online Games
Cybersecurity awareness and training: The CyberSecPro and NERO approaches
Multistep Cyberattacks Detection using a Flexible Multilevel System for Alerts and Events Correlation
ViSDM: A Liquid Democracy based Visual Data Marketplace for Sovereign Crowdsourcing Data Collection
A Federated Explainable AI Model for Breast Cancer Classification
Data hiding: New opportunities for security and privacy?
Key Exchange and Management Schemes for Automotive Control Units
Ontology-based Framework for Boundary Verification of Safety and Security Properties in Industrial Control Systems
Multilevel Network Steganography in Fountain Codes
Steganography Hiding Patterns: A Brief Review
Cybercrime and Video Games: Exploring children's safety in the gaming environment
An implementation from a direct semantics definition
Code generation from two-level denotational meta-languages
Logic specification of code generation techniques
Strictness computation using special lambda-expressions
Expected forms of data flow analyses
Listlessness is better than laziness II: composing listless functions
Strictness analysis and polymorphic invariance
Program transformation by supercompilation
The theory of strictness analysis for higher order functions
Modular first-order specifications of operational semantics
Convergent term rewriting systems can be used for program transformation
The structure of a self-applicable partial evaluator
A relational framework for abstract interpretation
Recognition of generative languages
Multilevel functions in Martin-Löf's type theory
From interpreter to compiler: a representational derivation
Strictness detection in non-flat domains
Programs as Data Objects, Proceedings of a Workshop, Copenhagen, Denmark, October 17-19, 1985
Unplugged Decision Tree Learning - A Learning Activity for Machine Learning Education in K-12
From Caesar Shifts to Kid-Enigma. The CS Unplugged-Like Path in the MuMa Science Centre
Creative Mathematical Sciences Communication: 7th International Conference, CMSC 2024, Trier, Germany, October 7-10, 2024, Proceedings
Unplugging Dijkstra's Algorithm as a Mechanical Device
Games That Cannot Go on Forever! Active Participation in Research Is the Main Issue for Kids
Solving Bebras-Like Tasks: Approaches for Concept Building
Teaching Tangible Division Algorithms or Going from Concrete to Abstractions in Math Education by the Genetic Socratic Method
QuBobs Teaching Kits to Explain Quantum Computing
Curricular Choices for Computational Thinking in Large Scale Low Resource Environments
Computational Thinking Based STEM Art Exhibits
Tactile Kolam Patterns - Communicating Art and Mathematics to Students with Vision Impairments
Distance Teaching of Mathematical and Computer Disciplines During the War in Ukraine
The Algorithm Experience at Primary Schools: An Experience Report
Mathematical Versus Computational Thinking with a Computer in the Background
Solid Geometry Modeling: 3D Printing Is Not Always the Best Option
Why Teach About Binary Numbers?
BeLLE: Detecting National Differences in Computational Thinking and Computer Science Through an International Challenge
Large and Parallel Human Sorting Networks
Improving Performance for Prediction of Hepatocellular Carcinoma Using Stacking Method of Support Vector Machine
Monitoring Surface Water Dynamic Using Cloud Computing Platform of Google Earth Engine
Exploring an Intelligent Approach in Knowledge Mapping with Ontology and Text Mining: Systematic Literature Review
A Prediction of Rainfall Data Based On Support Vector Machine With Stochastic Gradient Descent
Optimal Position to Place Wi-Fi Range Extender to Improve Its Performance
Discovering Tourism Topics From Social Media: A Case Study of Japan
Assessing Customer Needs Based On Online Reviews: A Topic Modeling Approach
Proceedings of the 5th International Workshop on Innovations in Information and Communication Science and Technology, Malang, Indonesia, March 9, 2020 (canceled by authorities due to SARS-CoV-2)
Pedestrian Detection in Different Lighting Conditions Using Deep Neural Networks
Does Caffeine Cause Effect on Short-term Memory?
Towards Musical Game Therapy: A Survey on Music Therapy and Games for Health Promotion
Text Mining for Aspect Based Sentiment Analysis on Customer Review : A Case Study in the Hotel Industry
Aspect Based Sentiment Analysis for Customer Reviews on Bakso President Malang
Initial Centroid Optimization in K-Means Algorithm for Educational Data Mining
Multi-Food Recognition in Single Tray Box Image With Scarcity Data Using Convolutional Neural Network
A Numerical Study on Heat Transfer Across a Contact Pair
Monitoring Road Surface Conditions with Cyclist's Smartphone Sensors
Malang Tourism Recommendation Using Mobile Based Group Decision Support System
Real-time interactive music in Haskell
Declarative programming for artificial intelligence applications
Scripting the type inference process
Meta-programming with names and necessity
Final shift for call/cc: : direct implementation of shift and reset
A livecoding semantics for functional reactive programming
Engineering software correctness
Programming-by-example for audio: synthesizing digital signal processing programs
A generic usage analysis with subeffect qualifiers
The Marriage of Effects and Monads
What constitutes a musical pattern?
Scoping rules on a platter: a framework for understanding and specifying name binding
Pension reserve computations on GPUs
Proceedings of the 15th ACM SIGPLAN International Conference on Functional Programming, ICFP 2010, Baltimore, Maryland, USA, September 27-29, 2010
Eighth ACM SIGPLAN International Conference on Functional Programming, Workshop on Mechanized reasoning about languages with variable binding, MERLIN 2003, Uppsala, Sweden, August 2003
Correct-by-construction pretty-printing
From sonic Pi to overtone: creative musical experiences with domain-specific and functional languages
Adaptable component frameworks: using vector from the C++ standard library as an example
Deriving a probability density calculator (functional pearl)
Polish parsers, step by step
Experience report: Haskell as a reagent: results and observations on the use of Haskell in a python project
An extension of HM(X) with bounded existential and universal data-types
Automatically RESTful web applications: marking modular serializable continuations
Abstract resource cost derivation for logical quantum circuit descriptions
Functional programming and theorem proving for undergraduates: a progress report
Calling Hell From Heaven and Heaven From Hell
Synthesis of Functions by Transformations and Constraints
An abstract memory functor for verified C static analyzers
Proceedings of the Ninth ACM SIGPLAN International Conference on Functional Programming, ICFP 2004, Snow Bird, UT, USA, September 19-21, 2004
Combining effects and coeffects via grading
A type-theoretic foundation of continuations and prompts
Understanding memory allocation of scheme programs
QuaFL: a typed DSL for quantum programming
Running Scheme On Bare Metal (Experience Report)
Proceedings of the 2020 Scheme and Functional Programming Workshop, Online, Virtual Event, August 20-28, 2020
Deriving an efficient FPGA implementation of a low density parity check forward error corrector
Applicative bidirectional programming with lenses
Information flow inference for free
FARM 2016 concert: live music and visuals produced through functional programming
Slideshow: functional presentations
Improving GHC Haskell NUMA profiling
A Provable Time and Space Efficient Implementation of NESL
Htdp and dmda in the battlefield: a case study in first-year programming instruction
Destination-passing style for efficient memory management
Experimenting with formal languages using forlan
Controlled Temporal Non-Determinism for Reasoning with a Machine of Finite Speed
Experience report: ocsigen, a web programming framework
A Simple Implementation Technique for Priority Search Queues
Functional programs that explain their work
Types, potency, and idempotency: why nonlinearity and amnesia make a type system work
Proceedings of the 2013 ACM SIGPLAN workshop on Dependently-typed programming, DTP@ICFP 2013, Boston, Massachusetts, USA, September 24, 2013
Handlers in action
Reduction as a transition controller for sound synthesis events
Flexible Representation Analysis
ACM SIGPLAN International Conference on Functional Programming, Workshop on Mechanized reasoning about languages with variable binding, MERLIN 2005, Tallinn, Estonia, September 30, 2005
Proceedings of the 2nd ACM SIGPLAN workshop on Functional high-performance computing, Boston, MA, USA, FHPC@ICFP 2013, September 25-27, 2013
Functional morphology
An operational semantics for parallel lazy evaluation
Logical types for untyped languages
On the complexity of equivalence of specifications of infinite objects
Addressing covert termination and timing channels in concurrent information flow systems
A fresh look at programming with names and binders
Ornaments in practice
Proceedings of the 2009 ACM SIGPLAN workshop on Generic programming, WGP@ICFP 2009, Edinburgh, United Kingdom, August 31 - September 2, 2009
Programming with Variable Functions
Tracing Piece by Piece: Affordable Debugging for Lazy Functional Languages
Converting data-parallelism to task-parallelism by rewrites: purely functional programs across multiple GPUs
Biorthogonality, step-indexing and compiler correctness
Stream fusion: from lists to streams to nothing at all
Data parallelism in Haskell
From algebra to abstract machine: a verified generic construction
Relating complexity and precision in control flow analysis
The function concept in C++: an empirical study
On Regions and Linear Types
Parametric higher-order abstract syntax for mechanized semantics
Weak optimality, and the meaning of sharing
Statically Checkable Pattern Abstractions
Pragmatic Subtyping in Polymorphic Languages
Cheap eagerness: speculative evaluation in a lazy functional language
Packrat parsing: : simple, powerful, lazy, linear time, functional pearl
Pilsner: a compositionally verified compiler for a higher-order imperative language
Typed closure conversion preserves observational equivalence
Inductive Synthesis of Recursive Functional Programs (Poster Abstract)
Proceedings of the 4th ACM SIGPLAN Workshop on Functional High-Performance Computing, FHPC@ICFP 2015, Vancouver, BC, Canada, September 3, 2015
Higher-order functional reactive programming without spacetime leaks
An effective theory of type refinements
Painless programming combining reduction and search: design principles for embedding decision procedures in high-level languages
From structures and functors to modules and units
Proceedings of the 4th International Workshop on Functional Art, Music, Modelling, and Design, FARM@ICFP 2016, Nara, Japan, September 24, 2016
ViperVM: a runtime system for parallel functional high-performance computing on heterogeneous architectures
Efficient GPU Implementation of Affine Index Permutations on Arrays
Proceedings of the 8th ACM SIGPLAN workshop on Generic programming, WGP@ICFP 2012, Copenhagen, Denmark, September 9-15, 2012
Equality of streams is a Pi0 over 2-complete problem
SML# in industry: a practical ERP system development
Unified media programming: an algebraic approach
Proceedings of the 3rd ACM SIGPLAN Workshop on Mathematically Structured Functional Programming, MSFP@ICFP 2010, Baltimore, MD, USA, September 25, 2010
Computer science as a school subject
Type Inference in Context
An expressive, scalable type theory for certified code
A Bounds Inference Method for Vector-Based Memoisation
Typing dynamic typing
A pattern for almost homomorphic functions
Combining CFG and Recursive Functions to Get a New Language
Mixin' up the ML module system
Searching for deadlocks while debugging concurrent haskell programs
Modular verification of preemptive OS kernels
Calculating threesomes, with blame
Set-theoretic types for polymorphic variants
First-Class Synchronization Barriers
A Modular, Polyvariant, and Type-Based Closure Analysis
Identifying query incompatibilities with evolving XML schemas
Control-flow analysis of function calls and returns by abstract interpretation
Sorting with bialgebras and distributive laws
Functional programming, object-oriented programming and algebras!
Allocation characterizes polyvariance: a unified methodology for polyvariant control-flow analysis
The best of both worlds: linear functional programming without compromise
A step-indexed model of substructural state
Nested data-parallelism on the gpu
A principled approach to operating system construction in Haskell
Counting and occurrence sort for GPUs using an embedded language
New equations for neutral terms: a sound and complete decision procedure, formalized
A Distributed Garbage Collector with Diffusion Tree Reorganisation and Mobile Objects
Relating Typability and Expressiveness in Finite-Rank Intersection Type Systems (Extended Abstract)
A Practical Subtyping System For Erlang
Transparent Modules with Fully Syntactic Signatures
A kripke logical relation for effect-based program transformations
Programming with permissions in Mezzo
Synchronous Kahn Networks
Practical dependent type checking using twin types
Modular monadic meta-theory
An efficient representation for lazy constructors using 64-bit pointers
Unifiers as equivalences: proof-relevant unification of dependently typed data
Modelling the way mathematics is actually done
Bounded refinement types
Generic storage in Haskell
Scrap your nameplate: (functional pearl)
Generic constructors and eliminators from descriptions: type theory as a dependently typed internal DSL
Cost Recurrences for DML Programs
Bidirectionalization transformation based on automatic derivation of view complement functions
Free theorems involving type constructor classes: functional pearl
Modelling deterministic concurrent I/O
Proving the unique fixed-point principle correct: an adventure with category theory
Generic programming with indexed functors
Form over function: teaching beginners how to construct programs
Lazy and speculative execution in computer systems
Type-directed diffing of structured data
Towards a comprehensive theory of monadic effects
Datafun: a functional Datalog
Multi-polymorphic programming in bondi
FARM 2018 demo summary
Higher-order ghost state
Operational semantics using the partiality monad
Proceedings of the 11th ACM SIGPLAN Workshop on Generic Programming, WGP@ICFP 2015, Vancouver, BC, Canada, August 30, 2015
Proceedings of the 3rd ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design, FARM@ICFP 2015, Vancouver, BC, Canada, September 5, 2015
Concatenate, reverse and map vanish for free
A Theory of Core Fudgets
Human-in-the-loop program synthesis for live coding
Combining higher-order abstract syntax with first-order abstract syntax in ATS
A demand-driven adaptive type analysis
Interlanguage Working Without Tears: Blending SML with Java
Scheme for scientific computing
The impact of higher-order state and control effects on local relational reasoning
CDuce: an XML-centric general-purpose language
Ott: effective tool support for the working semanticist
Commutative monads, diagrams and knots
AspectScheme: aspects in higher-order languages
Proceedings of the 9th ACM SIGPLAN workshop on Generic programming, WGP 2013, Boston, Massachusetts, USA, September 28, 2013
APL on GPUs: a TAIL from the past, scribbled in Futhark
An efficient non-moving garbage collector for functional languages
Extensible pattern matching via a lightweight language extension
Dependency-style generic Haskell
When is a Functional Program Not a Functional Program?
Lazy evaluation in infinite-dimensional function spaces with wavelet basis
Ziria: wireless programming for hardware dummies
On Teaching Type Systems as Macros (Lightning Talk)
Experience report: building an eclipse-based IDE for Haskell
Numbering matters: first-order canonical forms for second-order recursive types
Implicitly-threaded parallelism in Manticore
Tales from the jungle
Making a fast curry: push/enter vs. eval/apply for higher-order languages
Usage of petri nets for high performance computing
All sorts of permutations (functional pearl)
Functional pearl: la tour d'Hanoï
Functional translation of a calculus of capabilities
An agda formalisation of the transitive closure of block matrices (extended abstract)
Avalanche: a fine-grained flow graph model for irregular applications on distributed-memory systems
Programming macro tree transducers
A user-centred approach to functions in Excel
Simplifying Subtyping Constraints
PLAN: A Packet Language for Active Networks
A Functional Programming Approach to Hypermedia Authoring
On teaching *how to design programs*: observations from a newcomer
Generics for the masses
TensorFlow: learning functions at scale
ML F : raising ML to the power of system F
Subtyping delimited continuations
Relational algebraic ornaments
Parallel concurrent ML
Behavioral software contracts
Static analysis for syntax objects
Incremental updates for efficient bidirectional transformations
Modular rollback through control logging: a pair of twin functional pearls
Monads for incremental computing
Experience report: functional programming of mHealth applications
Frenetic: a network programming language
A concurrent ML library in concurrent Haskell
VisPar: visualising dataflow graphs from the Par Monad
Functional parallel algorithms
Dynamic witnesses for static type errors (or, ill-typed programs usually go wrong)
Mobile game programming in Haskell
Modularising inductive families
Ghostbuster: a tool for simplifying and converting GADTs
Generating efficient FFT GPU code with Lift
Size slicing: a hybrid approach to size inference in futhark
Using camlp4 for presenting dynamic mathematics on the web: DynaMoW, an OCaml language extension for the run-time generation of mathematical contents and their presentation on the web
Experience report: erlang in acoustic ray tracing
Embedding polymorphic dynamic typing
Foundations for the Implementation of Higher-Order Subtyping
Faster laziness using dynamic pointer tagging
Elaborating evaluation-order polymorphism
Compiler implementation in a formal logical framework
ConceptClang: an implementation of C++ concepts in Clang
Outrageous but meaningful coincidences: dependent type-safe syntax and evaluation
Pushdown flow analysis of first-class control
BigTypes in ML
The Effectiveness of Flow Analysis for Inlining
Fortifying macros
How to design class hierarchies
From high-level radio protocol specifications to efficient low-level implementations via partial evaluation
20 years of industrial functional programming
Poly AML : a polymorphic aspect-oriented functional programming language
Depending on types
Music as language: putting probabilistic temporal graph grammars to good use
Monadic State: Axiomatization and Type Safety
Experience report: seL4: formally verifying a high-performance microkernel
Experience report: playing the DSL card
A compiled implementation of strong reduction
A hierarchy of mendler style recursion combinators: taming inductive datatypes with negative occurrences
Functional Differentiation of Computer Programs
A functional approach to automatic melody harmonisation
Rethinking supercompilation
Correctness of an STM Haskell implementation
Position-dependent arrays and their application for high performance code generation
A Framework for Type Inference with Subtyping
Transporting functions across ornaments
Systematic Realisation of Control Flow Analyses for CML
Talking bananas: structural recursion for session types
A functional model-view-controller software architecture for command-oriented programs
Experience report: OCaml for an industrial-strength static analysis framework
Epigram Prime: A Demonstration
Explicit substitutions and higher-order syntax
How to make ad hoc proof automation less ad hoc
Complete and decidable type inference for GADTs