yusuke1997/dblp-id-title huggingface dataset:
Pure Differentially Private Summation from Anonymous Messages
Efficient Key Predistribution for Grid-Based Wireless Sensor Networks
Secret Sharing Comparison by Transformation and Rotation
On the Transmit Beamforming for MIMO Wiretap Channels: Large-System Analysis
Guessing Secrecy
Weakening the Isolation Assumption of Tamper-Proof Hardware Tokens
Catching MPC Cheaters: Identification and Openability
The Multivariate Hidden Number Problem
Digital Fingerprinting under and (Somewhat) beyond the Marking Assumption - (Invited Talk)
Graceful Degradation in Multi-Party Computation (Extended Abstract)
Oblivious Parallel Tight Compaction
Characterization of the Relations between Information-Theoretic Non-malleability, Secrecy, and Authenticity
Practical Relativistic Zero-Knowledge for NP
Bounds on authentication systems in query model
Lattice Point Enumeration on Block Reduced Bases
Key Refreshing in Wireless Sensor Networks
Unconditionally Secure Blind Signatures
Locally Decodable Codes for Edit Distance
Perfectly Reliable and Secure Communication Tolerating Static and Mobile Mixed Adversary
On Zero-Knowledge with Strict Polynomial-Time Simulation and Extraction from Differing-Input Obfuscation for Circuits
Random Systems: Theory and Applications
Susceptible Two-Party Quantum Computations
Verifiably Multiplicative Secret Sharing
Minimal Connectivity for Unconditionally Secure Message Transmission in Synchronous Directed Networks
List Error-Correction with Optimal Information Rate (Invited Talk)
How to attain the ordinary channel capacity securely in wiretap channels
Partially Connected Networks: Information Theoretically Secure Protocols and Open Problems (Invited Talk)
Dynamic and Verifiable Hierarchical Secret Sharing
What Can Cryptography Do for Coding Theory?
Shannon Impossibility, Revisited
Strong Secrecy for Wireless Channels (Invited Talk)
Trading Robustness for Correctness and Privacy in Certain Multiparty Computations, beyond an Honest Majority
Information Theoretic Security - 7th International Conference, ICITS 2013, Singapore, November 28-30, 2013, Proceedings
Round and Communication Efficient Unconditionally-Secure MPC with t t n / 3 in Partially Synchronous Network
One-One Constrained Pseudorandom Functions
Trade-Offs in Information-Theoretic Multi-party One-Way Key Agreement
The Power of Synergy in Differential Privacy: Combining a Small Curator with Local Randomizers
Unconditionally secure signatures and its related schemes
The Optimum Leakage Principle for Analyzing Multi-threaded Programs
Measure-Independent Characterization of Contrast Optimal Visual Cryptography Schemes
Gambling, Computational Information and Encryption Security
d-Multiplicative Secret Sharing for Multipartite Adversary Structures
Universally Composable Oblivious Transfer from Lossy Encryption and the McEliece Assumptions
Separating Local & Shuffled Differential Privacy via Histograms
Efficient Threshold Secret Sharing Schemes Secure Against Rushing Cheaters
Secure Grouping Protocol Using a Deck of Cards
Upper Bounds for Set Systems with the Identifiable Parent Property
Unifying Leakage Classes: Simulatable Leakage and Pseudoentropy
Statistical Security Conditions for Two-Party Secure Function Evaluation
Distributed Relay Protocol for Probabilistic Information-Theoretic Security in a Randomly-Compromised Network
Information Theoretic Security Based on Bounded Observability
Strongly Multiplicative Hierarchical Threshold Secret Sharing
Efficient Statistical Asynchronous Verifiable Secret Sharing with Optimal Resilience
Randomness in self-healing key distribution schemes
Communication Optimal Multi-valued Asynchronous Byzantine Agreement with Optimal Resilience
Leakage Resilience of the Blom's Key Distribution Scheme
On the Optimization of Bipartite Secret Sharing Schemes
An Improvement of Pseudorandomization against Unbounded Attack Algorithms - The Case of Fingerprint Codes
Efficient Reductions for Non-signaling Cryptographic Primitives
Using Colors to Improve Visual Cryptography for Black and White Images
Secure Network Coding for Multiple Unicast: On the Case of Single Source
Detection of Algebraic Manipulation in the Presence of Leakage
Nonuniform Indistinguishability and Unpredictability Hardcore Lemmas: New Proofs and Applications to Pseudoentropy
Almost Secure (1-Round, n-Channel) Message Transmission Scheme
Broadcast and secure computation under reduced setup assumptions
Cryptographic Security of Individual Instances
On Information Theoretic Security: Mathematical Models and Techniques - (Invited Talk)
Broadcast (and Round) Efficient Verifiable Secret Sharing
Passive Corruption in Statistical Multi-Party Computation - (Extended Abstract)
Efficient Threshold Zero-Knowledge with Applications to User-Centric Protocols
How to Construct Strongly Secure Network Coding Scheme
Some Notions of Entropy for Cryptography - (Invited Talk)
Private Visual Share-Homomorphic Computation and Randomness Reduction in Visual Cryptography
On Polynomial Secret Sharing Schemes
Efficient MPC with a Mixed Adversary
Use Your Brain! Arithmetic 3PC for Any Modulus with Active Security
1st Conference on Information-Theoretic Cryptography, ITC 2020, Boston, MA, USA, June 17-19, 2020
Metric Pseudoentropy: Characterizations, Transformations and Applications
Lower Bounds for Function Inversion with Quantum Advice
Information Theoretic Security - 9th International Conference, ICITS 2016, Tacoma, WA, USA, August 9-12, 2016, Revised Selected Papers
Temporary assumptions - quantum and classical
Efficient Simulation for Quantum Message Authentication
Single-Shot Secure Quantum Network Coding for General Multiple Unicast Network with Free Public Communication
Coding theorems on the threshold scheme for a general source
Some Information Theoretic Arguments for Encryption: Non-malleability and Chosen-Ciphertext Security (Invited Talk)
The Complexity of Distinguishing Distributions (Invited Talk)
Quantum Communication Attacks on Classical Cryptographic Protocols - (Invited Talk)
The Round Complexity of Perfectly Secure General VSS
Practical Sharing of Quantum Secrets over Untrusted Channels
Cheater Detection in SPDZ Multiparty Computation
Information Theoretic Security - 5th International Conference, ICITS 2011, Amsterdam, The Netherlands, May 21-24, 2011. Proceedings
IEEE Information Theory Workshop on Theory and Practice in Information-Theoretic Security, ICITS 2005, Awaji Island, Japan, October 16-19, 2005
Improvement of Collusion Secure Convolutional Fingerprinting Information Codes
Statistical-Mechanical Approach for Multiple Watermarks Using Spectrum Spreading
Dynamic access policies for unconditionally secure secret sharing schemes
On (k, n) Visual Cryptography Scheme with t Essential Parties
The Chaining Lemma and Its Application
Linear-Time Non-Malleable Codes in the Bit-Wise Independent Tampering Model
Brief history of quantum cryptography: a personal perspective
Unconditionally private and reliable communication in an untrusted network
Construction Methodology of Unconditionally Secure Signature Schemes
On Locally Decodable Codes in Resource Bounded Channels
Information Theoretic Security - Second International Conference, ICITS 2007, Madrid, Spain, May 25-29, 2007, Revised Selected Papers
Two Protocols for Delegation of Computation
Relationship of three cryptographic channels in the UC framework
Unconditionally Secure Chaffing-and-Winnowing for Multiple Use
Insider-Proof Encryption with Applications for Quantum Key Distribution
Four Cards Are Sufficient for a Card-Based Three-Input Voting Protocol Utilizing Private Permutations
Superposition Attacks on Cryptographic Protocols
Randomly Encoding Functions: A New Cryptographic Paradigm - (Invited Talk)
On the Security of Pseudorandomized Information-Theoretically Secure Schemes
Correlation Extractors and Their Applications - (Invited Talk)
Revisiting the False Acceptance Rate Attack on Biometric Visual Cryptographic Schemes
Information Theoretic Security, 4th International Conference, ICITS 2009, Shizuoka, Japan, December 3-6, 2009. Revised Selected Papers
Bell Inequalities: What Do We Know about Them and Why Should Cryptographers Care? - (Invited Talk)
Unconditionally Secure Signature Schemes Revisited
Limited View Adversary Codes: Bounds, Constructions and Applications
Cryptography in the bounded quantum-storage model
On the Orthogonal Vector Problem and the Feasibility of Unconditionally Secure Leakage-Resilient Computation
On Exponential Lower Bound for Protocols for Reliable Communication in Networks
Detecting Algebraic Manipulation in Leaky Storage Systems
A General Conversion Method of Fingerprint Codes to (More) Robust Fingerprint Codes against Bit Erasure
Out-Of-Band Authenticated Group Key Exchange: From Strong Authentication to Immediate Key Delivery
Bit commitment from weak non-locality
Homogeneous Faults, Colored Edge Graphs, and Cover Free Families
Query-Complexity Amplification for Random Oracles
LT-Codes and Phase Transitions for Mutual Information - (Invited Talk)
Information Theoretic Security, Third International Conference, ICITS 2008, Calgary, Canada, August 10-13, 2008, Proceedings
Modulus Computational Entropy
Disproving the Conjectures from "On the Complexity of Scrypt and Proofs of Space in the Parallel Random Oracle Model"
Theory of Quantum Key Distribution: The Road Ahead (Invited Talk)
Information-Theoretic Timed-Release Security: Key-Agreement, Encryption, and Authentication Codes
On extractors, error-correction and hiding all partial information
Hardness vs. (Very Little) Structure in Cryptography: A Multi-Prover Interactive Proofs Perspective
Information Theoretic Security - 10th International Conference, ICITS 2017, Hong Kong, China, November 29 - December 2, 2017, Proceedings
A Proof of Security in O(2n) for the Xor of Two Random Permutations
Authenticated encryption and steganography in unconditional security setting
Multiterminal Secrecy Generation and Tree Packing
Oblivious Transfer Based on the McEliece Assumptions
Generalizing Efficient Multiparty Computation
Computational Security of Quantum Encryption
Unconditionally Secure Revocable Storage: Tight Bounds, Optimal Construction, and Robustness
Free-Start Distinguishing: Combining Two Types of Indistinguishability Amplification
Information Theoretic Security for Encryption Based on Conditional Rényi Entropies
Efficient Traitor Tracing from Collusion Secure Codes
Quantum-Resilient Randomness Extraction - (Invited Talk)
Linear Threshold Multisecret Sharing Schemes
Leakage-Resilient Secret Sharing in Non-Compartmentalized Models
Group Testing and Batch Verification
Introduction to Quantum Information Theory
Optimum General Threshold Secret Sharing
Adaptive Key Recovery Attacks on NTRU-Based Somewhat Homomorphic Encryption Schemes
Expander Graphs Are Non-Malleable Codes
Provably unbreakable hyper-encryption in the limited access model
Information Theoretic Security - 8th International Conference, ICITS 2015, Lugano, Switzerland, May 2-5, 2015. Proceedings
Common Randomness and Secret Key Capacities of Two-Way Channels
Does Physical Security of Cryptographic Devices Need a Formal Study? (Invited Talk)
Simple Direct Reduction of String (1, 2)-OT to Rabin's OT without Privacy Amplification
Code-Based Public-Key Cryptosystems and Their Applications
Secure Two-Party Computation: A Visual Way
A Practical Fuzzy Extractor for Continuous Features
New Lower Bounds for Privacy in Communication Protocols
Some topics related to resilient functions
Survey: Leakage Resilience and the Bounded Retrieval Model
Overcoming Weak Expectations via the Rényi Entropy and the Expanded Computational Entropy
Round-Optimal Perfectly Secret Message Transmission with Linear Communication Complexity
Revisiting the Karnin, Greene and Hellman Bounds
A Better Chain Rule for HILL Pseudoentropy - Beyond Bounded Leakage
On the Amortized Complexity of Zero Knowledge Protocols for Multiplicative Relations
Fast correlation attacks against stream ciphers and related open problems
Information Theoretic Security - 6th International Conference, ICITS 2012, Montreal, QC, Canada, August 15-17, 2012. Proceedings
A Lower Bound on the Key Length of Information-Theoretic Forward-Secure Storage Schemes
Interactive Hashing: An Information Theoretic Tool (Invited Talk)
Commitment and Authentication Systems
Anonymous Quantum Communication - (Extended Abstract)
Cryptography and decoding Reed-Solomon codes as a hard problem
Statistically Secure Linear-Rate Dimension Extension for Oblivious Affine Function Evaluation
Almost Perfect Privacy for Additive Gaussian Privacy Filters
Rényi Resolvability and Its Applications to the Wiretap Channel
Debugging parallel programs using temporal logic specifications
EPOCA: status and prospects
Concurrent semantics for structured design methods
Development framework for real-time control system design
Problem-solving on scalable parallel systems using application specification and reusable software components
Program comprehension engines for automatic parallelization: a comparative study
The PARSE project
Software Engineering for Parallel and Distributed Systems, Proceedings of the First IFIP TC10 International Workshop on Parallel and Distributed Software Engineering, March 1996
Methodology and tools for the development of high performance parallel systems with SDL/MSCs
Supporting integrated modelling of parallel hybrid systems
Periodicity in an asynchronous algorithm for parallel processing
Cerberus - a tool for debugging distributed algorithms
Reverse profiling
OPERA: a toolbox for loop parallelization
Performance indices to characterise concurrent applications: experimenting GSPN evaluation techniques in plant automation
The PS project: development of a simulator of PVM applications for heterogeneous and network computing
The Basel Tool Suite for parallel processing
A hierarchical classification of overheads in parallel programs
SEMPA: software engineering methods for parallel scientific applications
Interactive testing tool for parallel programs
Using concurrency and formal methods for the design of safe process control
Towards a theory of shared data in distributed systems
Designing and implementing complex systems with agents
Communications are everything: a design methodology for fault-tolerant concurrent systems
Designing distributed multimedia systems using PARSE
Hypersequential programming - a novel paradigm for concurrent programming
Efficient composition and automatic initialization of arbitrary structured PVM programs
Arcadia: a platform for the study of dynamic scheduling of communicating processes
A knowledge based approach to parallel software engineering
Using data flow algebra to analyse the alternating bit protocol
Infrastructural software for model driven distributed manufacturing systems
The AL++ Project: object-oriented parallel programming on multicomputers
Towards an Automatic Student Supervisor System Using Declarative Languages
Learning and Reasoning - 4th International Joint Conference on Learning and Reasoning, IJCLR 2024, and 33rd International Conference on Inductive Logic Programming, ILP 2024, Nanjing, China, September 20-22, 2024, Proceedings
An Algebraic Framework for Hierarchical Probabilistic Abstraction
Sound Symbolism in Automatic Emotion Recognition and Sentiment Analysis
An Inductive Logic Programming Approach for Feature-Range Discovery
Leveraging Inductive Logic Programming and Deep Learning for Trustworthy Vision
Towards Enhancing LLMs with Logic-Based Reasoning: A Meta Inverse Entailment Approach
Reasoning About Neural Network Perception in the Situation Calculus
Learning from Interpretation Transition with Unknowns
An Overview of Using Large Language Models for the Symbol Grounding Task in ABC Repair System
Measurement and Evaluation of Intelligent Robots
Meta-Interpretive Learning as Second Order Resolution
Pre-Training Meta-Rule Selection Policy for Visual Generative Abductive Learning
A Cognitive Architecture for Integrated Robot Systems
From Model-Based Learning to Model-Free Behaviour with Meta-Interpretive Learning
Differentiable Inductive Logic Programming in High-Dimensional Space
MisCC: Misinformation Detection on Counterfactual Claims
Active Learning of Digenic Functions with Boolean Matrix Logic Programming
Intonation Template Matching for Syllable-Level Prosody Encoding
Learning Rules Explaining Interactive Theorem Proving Tactic Prediction
Active Learning in Neurosymbolic AI with Embed2Sym
Automating Theory Repair in First Order Logic
Harnessing the Power of Semi-structured Knowledge and LLMs with Triplet-Based Prefiltering for Question Answering
Proceedings of the International Workshop on Cognitive AI 2023 co-located with the 3rd International Conference on Learning & Reasoning (IJCLR 2023), Bari, Italy, 13-15 November 2023
One-Shot Learning of Autonomous Behaviour: A Meta Inverse Entailment Approach
Language-Agnostic Semantics for Implicit Learning as Reasoning: Extended Abstract
Inventing Recursive Predicates by Sampling and Folding Deduced and Abduced Atoms
Cognitive Load of Modern TTS Systems Under Noisy Conditions
Word Association Network of English Words Unique to Singapore English
Logic and Theory Repair in Legal Modification
Benchmarking in Neuro-Symbolic AI
A Power-Aware Online Scheduling Algorithm for Streaming Applications in Embedded MPSoC
Temperature Aware Datapath Scheduling
Design and Realization of a Low Power Register File Using Energy Model
A Study of Crosstalk Through Bonding and Package Parasitics in CMOS Mixed Analog-Digital Circuits
Estimating power consumption of multiple modular redundant designs in SRAM-based FPGAs for high dependable applications
Investigating PVT variability effects on full adders
Variability in Advanced Nanometer Technologies: Challenges and Solutions
The Certainty of Uncertainty: Randomness in Nanometer Design
On the Necessity of Combining Coding with Spacing and Shielding for Improving Performance and Power in Very Deep Sub-micron Interconnects
Architecture Extensions for Efficient Management of Scratch-Pad Memory
Power Dissipation Reduction During Synthesis of Two-Level Logic Based on Probability of Input Vectors Changes
Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation - 20th International Workshop, PATMOS 2010, Grenoble, France, September 7-10, 2010, Revised Selected Papers
Coupled voltage and frequency control for DVFS management
A substrate noise reduction methodology based on power domain separation of GALS subcomponents
Impact of computation offloading on efficiency of wireless face recognition
Reducing Energy Dissipation of Wireless Sensor Processors Using Silent-Store-Filtering MoteCache
Design of Parallel Implementations by Means of Abstract Dynamic Critical Path Based Profiling of Complex Sequential Algorithms
Multi-Armed Bandits for Autonomous Timing-driven Design Optimization
Design of a Power/Performance Efficient Single-Loop Sigma-Delta Modulator for Wireless Receivers
Low Clock Swing D Flip-Flops Design by Using Output Control and MTCMOS
Energy Optimization of High-Performance Circuits
Loop optimization in presence of STT-MRAM caches: A study of performance-energy tradeoffs
Pass Transistor Operation Modeling for Nanoscale Technologies
Reducing Static Energy of Cache Memories via Prediction-Table-Less Way Prediction
Interconnect Parasitic Extraction Tool for Radio-Frequency Integrated Circuits
Integrated Circuit and System Design, Power and Timing Modeling, Optimization and Simulation; 14th International Workshop, PATMOS 2004, Santorini, Greece, September 15-17, 2004, Proceedings
Formal system-on-chip verification: An operation-based methodology and its perspectives in low power design
Power Consumption Characterisation of the Texas Instruments TMS320VC5510 DSP
Circuit Sizing and Supply-Voltage Selection for Low-Power Digital Circuit Design
FPGA Architecture Design and Toolset for Logic Implementation
Signing Off Industrial Designs on Evolving Technologies
Simultaneous Wire Sizing and Decoupling Capacitance Budgeting for Robust On-Chip Power Delivery
On-chip Thermal Modeling Based on SPICE Simulation
Power Profiling-Guided Floorplanner for Thermal Optimization in 3D Multiprocessor Architectures
Settling-Optimization-Based Design Approach for Three-Stage Nested-Miller Amplifiers
Simulation-based Verification of the Youngest-First Round-Robin Core Gating Pattern
A Generic Architecture for Robust Asynchronous Communication Links
Two Level Compact Simulation Methodology for Timing Analysis of Power-Switched Circuits
Model-Free Runtime Management of Concurrent Workloads for Energy-Efficient Many-Core Heterogeneous Systems
Computation of Joint Timing Yield of Sequential Networks Considering Process Variations
Quantitative Evaluation of Certain SET Mitigation Techniques for Multiply-Accumulate Circuits and State Machines
3DBUFFBLESS: A novel buffered-bufferless hybrid router for 3D Networks-on-Chip
Modeling of Power Consumption of Adiabatic Gates versus Fan in and Comparison with Conventional Gates
Run-time schedulability check of real-time tasks for energy efficiency
Frequent Value Cache for Low-Power Asynchronous Dual-Rail Bus
Energy Estimator for Weather Forecasts Dynamic Power Management of Wireless Sensor Networks
System Level Multi-bank Main Memory Configuration for Energy Reduction
Deduplication in resistive content addressable memory based solid state drive
Automatic implementation of low-complexity QC-LDPC encoders
Design-Space Exploration of Low Power Coarse Grained Reconfigurable Datapath Array Architectures
TransMem: A memory architecture to support dynamic remapping and parallelism in low power high performance CGRAs
Efficient power Intent validation using loosely-timed simulation models
Capacitive adiabatic logic based on gap-closing MEMS devices
RTL Power Modeling and Estimation of Sleep Transistor Based Power Gating
An On-Chip Multi-mode Buck DC-DC Converter for Fine-Grain DVS on a Multi-power Domain SoC Using a 65-nm Standard CMOS Logic Process
Analysis and Improvement of Dual Rail Logic as a Countermeasure Against DPA
Optimal Logarithmic Representation in Terms of SNR Behavior
Static Noise Margin Analysis of Sub-threshold SRAM Cells in Deep Sub-micron Technology
Consideration of Control System and Memory Contributions in Practical Resource-Constrained Scheduling for Low Power
dRail: A Novel Physical Layout Methodology for Power Gated Circuits
Impact of pipeline in the power performance of tunnel transistor circuits
On Line Power Optimization of Data Flow Multi-core Architecture Based on Vdd-Hopping for Local DVFS
High Yield Standard Cell Libraries: Optimization and Modeling
Dynamic Instruction Cascading on GALS Microprocessors
Software Simultaneous Multi-Threading, a Technique to Exploit Task-Level Parallelism to Improve Instruction- and Data-Level Parallelism
Low-Power Delay Sensors on FPGAs
Modeling of Crosstalk Fault in Defective Interconnects
Cell-Based Leakage Power Reduction Priority (CBLPRP) Optimization Methodology for Designing SOC Applications Using MTCMOS Technique
PVTA Tolerant Self-adaptive Clock Generation Architecture
Robustness of power analysis attack resilient adiabatic logic: WCS-QuAL under PVT variations
Self-reference Scrubber for TMR Systems Based on Xilinx Virtex FPGAs
Signal Sampling Based Transition Modeling for Digital Gates Characterization
A Temperature-Aware Time-Dependent Dielectric Breakdown Analysis Framework
Improving the Robustness of Self-timed SRAM to Variable Vdds
Exploiting Cross-Channel Correlation for Energy-Efficient LCD Bus Encoding
Data Dependence of Delay Distribution for a Planar Bus
Exponent Monte Carlo for Quick Statistical Circuit Simulation
Network Time Synchronization: A Full Hardware Approach
End-to-end power estimation for heterogeneous cellular LTE SoCs in early design phases
A Method for Switching Activity Analysis of VHDL-RTL Combinatorial Circuits
Computer Aided Generation of Analytic Models for Nonlinear Function Blocks
RTL Estimation of Steering Logic Power
A Framework for Estimating Peak Power in Gate-Level Circuits
Investigation of electrical and thermal properties of carbon nanotube interconnects
Using Silent Writes in Low-Power Traffic-Aware ECC
MDSP: A High-Performance Low-Power DSP Architecture
Spectral Analysis of the On-Chip Waveforms to Generate Guidelines for EMC-Aware Design