yusuke1997/dblp-id-title huggingface dataset:
Provable Security - 11th International Conference, ProvSec 2017, Xi'an, China, October 23-25, 2017, Proceedings
More Practical Non-interactive Encrypted Conjunctive Search with Leakage and Storage Suppression
Public-Key Encryption with Simulation-Based Sender Selective-Opening Security
Lattice-Based Certificateless Encryption with Keyword Search
An Approach for Symmetric Encryption Against Side Channel Attacks in Provable Security
A Practical Lattice-Based Sequential Aggregate Signature
Turn-Based Communication Channels
Chameleon Hash Time-Lock Contract for Privacy Preserving Payment Channel Networks
Provable Secure Post-Quantum Signature Scheme Based on Isomorphism of Polynomials in Quantum Random Oracle Model
Computationally Efficient Dual-Policy Attribute Based Encryption with Short Ciphertext
Practical Threshold Signatures Without Random Oracles
PPAE: Practical Parazoa Authenticated Encryption Family
Provably Secure Identity Based Provable Data Possession
FleS: A Compact and Parameter-Flexible Supersingular Isogeny Based Public Key Encryption Scheme
Efficient Unconditionally Secure Comparison and Privacy Preserving Machine Learning Classification Protocols
Attribute-Based Encryption Resilient to Auxiliary Input
Homomorphic Secret Sharing from Paillier Encryption
Mergeable Functional Encryption
PPA-DCA: A Privacy-Preserving and Accountable Data Collection and Analysis Scheme Using Decentralized Multi-client Functional Encryption
PDTS: Practical Data Trading Scheme in Distributed Environments
SePEnTra: A Secure and Privacy-Preserving Energy Trading Mechanism in the Transactive Energy Market
A Code-Based Linkable Ring Signature Scheme
INT-RUP Security of Checksum-Based Authenticated Encryption
Tweakable Pseudorandom Permutation from Generalized Feistel Structure
ID Based Signcryption Scheme in Standard Model
Verifiable Private Polynomial Evaluation
Simulatable Adaptive Oblivious Transfer with Statistical Receiver's Privacy
Generalized ElGamal Public Key Cryptosystem Based on a New Diffie-Hellman Problem
Key Recovery Under Plaintext Checking Attack on LAC
Signcryption with Quantum Random Oracles
Construction of Yet Another Forward Secure Signature Scheme Using Bilinear Maps
More Efficient Verifiable Functional Encryption
Anonymous Signcryption against Linear Related-Key Attacks
On the Hardness of Sparsely Learning Parity with Noise
A Centralized Digital Currency System with Rich Functions
Modeling Privacy in WiFi Fingerprinting Indoor Localization
A Provable Secure Batch Authentication Scheme for EPCGen2 Tags
Preventing Adaptive Key Recovery Attacks on the GSW Levelled Homomorphic Encryption Scheme
Fully Distributed Broadcast Encryption
Cryptanalysis of Vo-Kim Forward Secure Signature in ICISC 2005
Toward Compact Public Key Encryption Based on CDH Assumption via Extended Twin DH Assumption
Efficient Non-interactive Universally Composable String-Commitment Schemes
Updatable Lossy Trapdoor Functions and Its Application in Continuous Leakage
POSTER: An Efficient Sieve Algorithm for Ideal Lattices
Indistinguishability against Chosen Ciphertext Verification Attack Revisited: The Complete Picture
Provable Security - 9th International Conference, ProvSec 2015, Kanazawa, Japan, November 24-26, 2015, Proceedings
Improved Zero-Knowledge Identification with Lattices
Password Authenticated Key Exchange Based on RSA in the Three-Party Settings
Secure Outsourcing of Cryptographic Circuits Manufacturing
New Framework of Password-Based Authenticated Key Exchange from Only-One Lossy Encryption
DHABI FRAMEWORK: A Hybrid Approach to Overcoming Resistance Against Statistical Cryptanalysis and Side-Channel Analysis
An Efficient and Expressive Ciphertext-Policy Attribute-Based Encryption Scheme with Partially Hidden Access Structures
The Analysis of an Efficient and Provably Secure ID-Based Threshold Signcryption Scheme and Its Secure Version
Two Notes on the Security of Certificateless Signatures
Construction of a New UAV Management System Based on UMIA Technology
Identity Based Public Verifiable Signcryption Scheme
Efficient Asymmetric Index Encapsulation Scheme for Named Data
Comparing SessionStateReveal and EphemeralKeyReveal for Diffie-Hellman Protocols
Ideal Public Key Encryption, Revisited
RKA Secure PKE Based on the DDH and HR Assumptions
A NTRU Lattice Based Linkable DualRing Signature
Oracle Separation in the Non-uniform Model
Constrained Verifiable Random Functions from Indistinguishability Obfuscation
Aggregate Proxy Signature and Verifiably Encrypted Proxy Signature
Private Subgraph Matching Protocol
Location-Proof System Based on Secure Multi-party Computations
Compact Public Key Encryption with Minimum Ideal Property of Hash Functions
Oblivious Keyword Search with Authorization
Multi-input Functional Encryption for Unbounded Inner Products
Provably Secure Self-Extractable Encryption
Communication-Efficient Secure Neural Network via Key-Reduced Distributed Comparison Function
Tools over Bilinear Groups for Modular Design of Cryptographic Tasks
Inner-Product Functional Encryption from Random Linear Codes: Trial and Challenges
A Lattice-Based Anonymous Distributed E-Cash from Bitcoin
A Simpler Construction of Identity-Based Ring Signatures from Lattices
Linearly Homomorphic Signatures with Designated Combiner
Efficient, Pairing-Free, Authenticated Identity Based Key Agreement in a Single Round
On the (Non-)Equivalence of UC Security Notions
Formal Treatment of Verifiable Privacy-Preserving Data-Aggregation Protocols
Network Intrusion Detection System Based on Reinforcement Learning Technique Optimization
On Privacy for RFID
Twin Signature Schemes, Revisited
Key Exposure Resistant Group Key Agreement Protocol
Cryptanalysis of LRainbow: The Lifted Rainbow Signature Scheme
RCCA-Secure Multi-use Bidirectional Proxy Re-encryption with Master Secret Security
Strongly Secure One Round Authenticated Key Exchange Protocol with Perfect Forward Security
Traceable Ring Signatures: Logarithmic-Size, Without Any Setup, from Standard Assumptions
Digital Signatures from the Middle-Product LWE
Lattice-Based Public Key Cryptosystems Invoking Linear Mapping Mask
Identity-Based Matchmaking Encryption Secure Against Key Generation Center
A Block-Cipher-Based Hash Function Using an MMO-Type Double-Block Compression Function
Spatial Encryption under Simpler Assumption
Bounded Pre-image Awareness and the Security of Hash-Tree Keyless Signatures
Integrity Preserving Multi-keyword Searchable Encryption for Cloud Computing
Attribute-Based Encryption for Finite Automata from LWE
An Efficient Conditional Privacy-Preserving Authentication Scheme for Vehicular Ad Hoc Networks Using Online/Offline Certificateless Aggregate Signature
Achieving Pairing-Free Aggregate Signatures using Pre-Communication between Signers
Provable Security - 6th International Conference, ProvSec 2012, Chengdu, China, September 26-28, 2012. Proceedings
A Lattice-Based Provably Secure Multisignature Scheme in Quantum Random Oracle Model
Efficient Key Authentication Service for Secure End-to-End Communications
Subverting Deniability
An Efficient Certificateless Proxy Re-Encryption Scheme Without Pairing
Symmetric Inner-Product Predicate Encryption Based on Three Groups
Semi-Adaptively Secure Offline Witness Encryption from Puncturable Witness PRF
Introduction: The FIA Research Roadmap, Priorities for Future Internet Research
Towards the Future Internet - Emerging Trends from European Research
NOVI Tools and Algorithms for Federating Virtualized Infrastructures
Design for Future Internet Service Infrastructures
An Economic Traffic Management Approach to Enable the TripleWin for Users, ISPs, and Overlay Providers
Smart Cities at the Forefront of the Future Internet
High Availability in the Future Internet
Above the Clouds: From Grids to Service-oriented Operating Systems
A Trilogy of Webs for Machines
Counting the Cost of FIRE - Overcoming Barriers to Sustainable Experimentation Facilities
Towards a Future Internet Architecture
Smart Cities and the Future Internet: Towards Cooperation Frameworks for Open Innovation
Linked Services and the Future Internet
Survey on P2P Overlay Streaming Clients
A Tentative Design of a Future Internet Networking Domain Landscape
Content Adaptation Issues in the Future Internet
Sustainable Wireless Broadband Access to the Future Internet - The EARTH Project
Bringing Optical Networks to the Cloud: An Architecture for a Sustainable future Internet
Manageability of Future Internet Virtual Networks from a Practical Viewpoint
A Tussle Analysis for Information-Centric Networking Architectures
Meeting Services and Networks in the Future Internet
Integrating Public Datasets Using Linked Data: Challenges and Design Principles
Media Ecosystems: A Novel Approach for Content-Awareness in Future Networks
A Systematic Approach for Closing the Research to Standardization Gap
Multi-level SLAs for Harmonized Management in the Future Internet
Test-Enabled Architecture for IoT Service Creation and Provisioning
Context-Aware Systems and Implications for Future Internet
Multipath Routing Slice Experiments in Federated Testbeds
SLAs Empowering Services in the Future Internet
Enabling Advanced Context-Based Multimedia Interpretation Using Linked Data
Towards a Socially-Aware Management of New Overlay Application Traffic Combined with Energy Efficiency in the Internet (SmartenIT)
Challenges for Enhanced Network Self-Manageability in the Scope of Future Internet Development
Future Internet in Home Area Networks: Towards Optical Solutions?
Challenges of Internet Evolution: Attitude and Technology
Towards a Minimal Core for Information-Centric Networking
Trustworthy Clouds Underpinning the Future Internet
The Human side of the Future Internet
Integrating Web 2.0 Data into Linked Open Data Cloud via Clustering
Creating a viable Evolution Path towards Self-Managing Future Internet via a Standardizable Reference Model for Autonomic Network Engineering
Securing wireless sensor networks towards a trusted "Internet of Things"
Security Design for an Inter-Domain Publish/Subscribe Architecture
Engineering Secure Future Internet Services
Business Aspects of Multipath TCP Adoption
Towards Security Climate Forecasts
Self-Improving Personal Smart Spaces for Pervasive Service Provision
The Future Internet - Future Internet Assembly 2013: Validated Results and New Horizons
Semantically Enriched Services to Understand the Need of Entities
Design Principles for the Future Internet Architecture
Design and Implementation of Cooperative Network Connectivity Proxy Using Universal Plug and Play
Testing End-to-End Self-Management in a Wireless Future Internet Environment
Supporting Content, Context and User Awareness in Future Internet Applications
The Path is the Destination - Enabling a New Search Paradigm with Linked Data
SENSEI traffic impact on mobile wireless networks
Towards a Future Internet: Node Collaboration for Autonomic Communication
Visual Analytics: Towards Intelligent Interactive Internet and Security Solutions
Accelerating Media Business Developments with the MPEG Extensible Middleware
Efficient Opportunistic Network Creation in the Context of Future Internet
A Cognitive Future Internet Architecture
Linking Data on the Future Internet Semantic Networks and Intelligent Objects
The Economics of Utility Services in the Future Internet
The Service Web: a Web of Billions of Services
UniverSelf, Realizing Autonomics for Future Networks
Enabling Information Interoperability in the Future Internet
Roadmap for Real World Internet applications - Socioeconomic scenarios and design recommendations
Fostering a Relationship between Linked Data and the Internet of Services
CONCORD Project Management of the Future Internet
Agreeing Upon SOA Terminology - Lessons Learned
3DLife - Bringing the Media Internet to Life
Modeling the economics of Loc/ID Split for the Future Internet
IDentity Engineered Architecture (IDEA)
Deployment and Adoption of Future Internet Protocols
Creating a Reference Architecture for Service-Based Systems - A Pattern-Based Approach
Real time energy management in smart cities by Future Internet
The Safety Transformation in the Future Internet Domain
Data Usage Control in the Future Internet Cloud
From Internet Architecture Research to Standards
SOCIETIES: Where Pervasive Meets Social
The SENSEI Real World Internet Architecture
User-Centric Future Internet and Telecommunication Services
How Google is using Linked Data Today and Vision For Tomorrow
Seeding the Cloud: An Innovative Approach to Grow Trust in Cloud Based Infrastructures
Semantic Context Inference in Multimedia Search
From Software Services to a Future Internet of Services
The Trilogy Architecture for the Future Internet
Towards a Content-Centric Internet
ETMS: A System for Economic Management of Overlay Traffic
User Involvement in Future Internet Projects
ComVantage: Mobile Enterprise Collaboration Reference Framework and Enablers for Future Internet Information Interoperability
Towards a RESTful Architecture for Managing a Global Distributed Interlinked Data-Content-Information Space
An Approach to Investigating Socio-economic Tussles Arising from Building the Future Internet
The Future Internet - Future Internet Assembly 2011: Achievements and Technological Promises
Optimizing Service Ecosystems in the Cloud
Scalable Video Coding: Source for Future Media Internet
Contrail: Distributed Application Deployment under SLA in Federated Heterogeneous Clouds
SmartSantander: Internet of Things Research and Innovation through Citizen Participation
SOA4All: Towards a Global Service Delivery Platform
Building Modular Middlewares for the Internet of Things with OSGi
Virtual Infrastructures in Future Internet
Towards an Architecture for Future Internet Applications
Assessment of Economic Management of Overlay Traffic: Methodology and Results
Management Architecture and Systems for Future Internet Networks
DICONET: future generation transparent networking with dynamic impairment awareness
QoE and *-awareness in the Future Internet
Cross-Disciplinary Lessons for the Future Internet
Efficient Streaming in Future Internet
Future Internet: towards context information brokering
Towards Formal Validation of Trust and Security in the Internet of Services
Towards a Secure Network Virtualization Architecture for the Future Internet
Towards a Narrative-Aware Design Framework for Smart Urban Environments
The SmartenIT STREP Project: Socially-Aware Management of New Overlay Application Traffic Combined with Energy Efficiency in the Internet
FLAMINGO NoE Project Management of the Future Internet
The Publish/Subscribe Internet Routing Paradigm (PSIRP): Designing the Future Internet Architecture
An Architectural Blueprint for a Real-World Internet
Scalable Cloud Defenses for Detection, Analysis and Mitigation of DDoS Attacks
Provenance in Linked Data Integration
An Internet-Based Architecture Supporting Ubiquitous Application User Interfaces
Renewable Energy Provisioning for ICT Services in a Future Internet
Mobile Cloud Networking: Mobile Network, Compute, and Storage as One Service On-Demand
Integrating OpenFlow in IMS Networks and Enabling for Future Internet Researchand Experimentation
Next Generation Flexible and Cognitive Heterogeneous Optical Networks - Supporting the Evolution to the Future Internet
Using Future Internet Infrastructure and Smartphones for Mobility Trace Acquisition and Social Interactions Monitoring
S-Cube: Addressing Multidisciplinary Research Challenges for the Internet of Services
Towards the Future Internet - A European Research Perspective
Privacy-enabled identity management in the Future Internet
Cloud-Based Evaluation Framework for Big Data
A Future Perspective on the 3D Media Internet
An Integrated Development and Runtime Environment for the Future Internet
Towards In-Network Clouds in Future Internet
The SmartSantander Project
A Cognitive Management Framework for Empowering the Internet of Things
Review and Designs of Federated Management in Future Internet Architectures
Urban Planning and Smart Cities: Interrelations and Reciprocities
Integrating Mathematics into the Web of Data
Towards a Trustworthy Service Marketplace for the Future Internet
Resource Optimisation in IoT Cloud Systems by Using Matchmaking and Self-management Principles
Monitoring Service Clouds in the Future Internet
Title Model Ontology for Future Internet Networks
A Security Architecture for Web 2.0 Applications
An experimental path towards Self-Management for Future Internet Environments
Towards an Architecture for a Real World Internet
A Linked Data representation of the Nomenclature of Territorial Units for Statistics
Future Internet Socio-Economics - Challenges and Perspectives
The NEBULA Future Internet Architecture
IoT6 Project in a Nutshell
A Use-Case on Testing Adaptive Admission Control and Resource Allocation Algorithms on the Federated Environment of Panlab
Flat Architectures: Towards Scalable Future Internet Mobility
FSToolkit: Adopting Software Engineering Practices for Enabling Definitions of Federated Resource Infrastructures
iCore: A Cognitive Management Framework for the Internet of Things
A Future Internet Embracing the Wireless World
Scalable and Adaptable Media Coding Techniques for Future Internet
Publish/Subscribe for Internet: PSIRP Perspective
Managing QoS for Future Internet Applications over Virtual Sensor Networks
Proceedings of the Workshop on Linked Data in the Future Internet at the Future Internet Assembly, Ghent, Belgium, December 16-17, 2010
I-SEARCH: A Unified Framework for Multimodal Search and Retrieval
Vulnerabilities and Protection of Satellite Networks interconnected with terrestrial segments
Incentives, Motivation, Participation, Games: Human Computation for Linked Data
The GEYSERS Concept and Major Outcomes
Conceptual Design and Use Cases for a FIRE Resource Federation Framework
Future Internet Enterprise Systems: A Flexible Architectural Approach for Innovation
Dynamic Linked Data via Linked Open Services
IoT6 - Moving to an IPv6-Based Future IoT
A Scalable, Transactional Data Store for Future Internet Services
Control of Resources in Pan-European Testbed Federation
Open the Way to Future Networks - A Viewpoint Framework from ITU-T
Cooperative Strategies for Power Saving in Multi-standard Wireless Devices
The Future Internet - Future Internet Assembly 2012: From Promises to Reality
Linked Data and Complex Event Processing for the Smart Energy Grid
The Unified Approach to Modeling of Software Project Management Processes
Transformations from EDOC to EJB by Composition of Mapping Operations
Advanced Features of Hierarchical Component Models
A Note on the Parsing of Complete VHDL-2002
Deriving Prototypes from UML 2.0 Sequence Diagrams
Modeling of Services and Service Collaboration in UML 2.0
k-Limited Erasing Performed by Scattered Context Grammars
Performance Comparison of Distributed Object Server Implementation
Component Model with Support of Mobile Architectures
On Vertical Grammatical Restrictions that Produce an Infinite Language Hierarchy
Proceedings of the 2nd International Workshop on Formal Models WFM'07, Hradec nad Moravicí, Czech Republic, April 23-25, 2007
Notes on Restricted P Colonies
Generalized #-Rewriting Systems of Finite Index
A Note on the Descriptional Complexity of Semi-Conditional Grammars
Proceedings of the 10th International Conference on Information System Implementation and Modeling, Hradec nad Moravicí, Czech Republic, April 23-25, 2007
Formal Computation Independent Model of the Problem Domain within the MDA
The Analysis of UML State Machine Formal Checking Methods
Verification of Good Design Style of UML Models
User Characteristics Acquisition from Logs with Semantics
Adaptation of Navigation by the Modified Results of Full Scan Algorithm in Adaptive Hypermedia Systems
Colonies - the Simplest Grammar Systems
Genomial Co-Design: An MDA-compliant Approach for Embedded Architectures
Parsing of Context-Sensitive Languages
Structures of the Environment in Colonies
Using Matrix Decompositions in Formal Concept Analysis
UML: Abstraction as a Criterion for Defining Class Diagrams and Object Diagrams
Properties of Eco-Colonies
Software Architectures for Real-time Embedded Applications for Broadcasting
General Multigenerative Grammar Systems
The Art of Project Management: Key Adjustments Factors using Dynamic Techniques
A Process Approach to Information Security Management
Information Security Management System: Processes and Products
Open Issues and Proposals in the IT Security Management of Commercial Ports: The S-PORT National Case
Enforcing Usage Constraints on Credentials for Web Applications
Qualified Mobile Server Signature
Intrusion Tolerance of Stealth DoS Attacks to Web Services
MASS: Model for an Auditing Security System
Secure Selective Exclusion in Ad Hoc Wireless Network
Security and Privacy - Silver Linings in the Cloud - 25th IFIP TC-11 International Information Security Conference, SEC 2010, Held as Part of WCC 2010, Brisbane, Australia, September 20-23, 2010. Proceedings
Fast Digital Certificate Revocation
Privacy-Enhanced Profile-Based Authentication Using Sparse Random Projection
Security Analysis of Two Ultra-Lightweight RFID Authentication Protocols
Cyber Key Terrain Identification Using Adjusted PageRank Centrality
Audio CAPTCHA for SIP-Based VoIP
Integrating Information Security into Corporate Governance
A taxonomy of electronic cash schemes
Communication-Efficient Group Key Agreement
Light-Weight File Fragments Classification Using Depthwise Separable Convolutions
Piranha: Fast and Memory-Efficient Pattern Matching for Intrusion Detection
Security and Protection in Information Processing Systems, IFIP 18th WorldComputer Congress, TC11 19th International Information Security Conference, 22-27 August 2004, Toulouse, France
Compatibility of Safety Properties and Possibilistic Information Flow Security in MAKS
Anti-forensic = Suspicious: Detection of Stealthy Malware that Hides Its Network Traffic
Ontological Mapping of Common Criteria's Security Assurance Requirements
Modeling and Analyzing Separation of Duties in Workflow Environments
HyperForce: Hypervisor-enForced Execution of Security-Critical Code
UNIX Operating System Security
The Defense Framework for Large-scale Computer Network System
A Solution to Generalized Group Oriented Cryptography
Using Fraud Patterns for Fraud Risk Assessment of E-services
Sleepy Watermark Tracing: An Active Network-Based Intrusion Response Framework
CSAP - An Adaptable Security Module for the E-Government System Webocrat
A compile-time model for safe information flow in object-oriented databases
IS Audit Research: A Paradigm and A Framework
Malicious Insider Threat Detection Using Sentiment Analysis of Social Media Topics
Formal Design of Packet Filtering Systems
Lightweight and Persistent Remote Attestation: Leveraging a Continuous Chain of Trust in Software Integrity Measurements
Key Derivation Function: The SCKDF Scheme
Using Virtualization to Create and Deploy Computer Security Lab Exercises
Evaluation of the Offensive Approach in Information Security Education
Portable User-Centric Identity Management
TCP Ack Storm DoS Attacks
Controlling Internet access at an educational institution
Authenticated Key Exchange (AKE) in Delay Tolerant Networks
Evaluation of Circuit Lifetimes in Tor
Electronic Signature as a part of Information Society Infrastructure
A New Architecture for User Authentication and Key Exchange Using Password for Federated Enterprises
On the IPP Properties of Reed-Solomon Codes
Bridging the Gap between General Management and Technicians - A Case Study in ICT Security
Privacy-Preserving Mechanisms for Organizing Tasks in a Pervasive eHealth System
Actively Probing Routes for Tor AS-Level Adversaries with RIPE Atlas
Checking the Impact of Security Standardization - A Case Study on Bluetooth LE Pairing of Internet-of-Things Devices
Generating Optimised and Formally Checked Packet Parsing Code
Design Criteria to Classified Information Systems Numerically
Protection Against Spam Using Pre-Challenges
From Finite State Machines to Provably Correct Java Card Applets
CCBRSN: A System with High Embedding Capacity for Covert Communication in Bitcoin
Privacy-Friendly Monero Transaction Signing on a Hardware Wallet
Security requirements and solutions in distributed electronic health records