Verifiable secret sharing
View article
Blockchains and Smart Contracts for the Internet of Things Open
Motivated by the recent explosion of interest around blockchains, we examine whether they make a good fit for the Internet of Things (IoT) sector. Blockchains allow us to have a distributed peer-to-peer network where non-trusting members c…
View article
Hybrid threshold adaptable quantum secret sharing scheme with reverse Huffman-Fibonacci-tree coding Open
With prevalent attacks in communication, sharing a secret between communicating parties is an ongoing challenge. Moreover, it is important to integrate quantum solutions with classical secret sharing schemes with low computational cost for…
View article
Privacy-Preserving Solutions for Blockchain: Review and Challenges Open
Blockchains offer a decentralized, immutable and verifiable ledger that can record transactions of digital assets, provoking a radical change in several innovative scenarios, such as Smartcities, eHealth or eAdministration. However, blockc…
View article
Chameleon Open
We present Chameleon, a novel hybrid (mixed-protocol) framework for secure function evaluation (SFE) which enables two parties to jointly compute a function without disclosing their private inputs. Chameleon combines the best aspects of ge…
View article
Quantum random number generation Open
Quantum physics can be exploited to generate true random numbers, which have important roles in many applications, especially in cryptography. Genuine randomness from the measurement of a quantum system reveals the inherent nature of quant…
View article
Ring Confidential Transactions Open
This article introduces a method of hiding transaction amounts in the strongly decentralized anonymous cryptocurrency Monero. Similar to Bitcoin, Monero is a cryptocurrency which is distributed through a proof-of-work “mining” process havi…
View article
Scalable Bias-Resistant Distributed Randomness Open
Bias-resistant public randomness is a critical component in many (distributed) protocols. Existing solutions do not scale to hundreds or thousands of participants, as is needed in many decentralized systems. We propose two large-scale dist…
View article
Unconditionally verifiable blind quantum computation Open
10.1103/PhysRevA.96.012303
View article
A review of advancements in coarse-grained molecular dynamics simulations Open
Over the last few years, coarse-grained molecular dynamics has emerged as a way to model large and complex systems in an efficient and inexpensive manner due to its lowered resolution, faster dynamics, and larger time steps. However, devel…
View article
Smart Contract Privacy Protection Using AI in Cyber-Physical Systems: Tools, Techniques and Challenges Open
Applications of Blockchain (BC) technology and Cyber-Physical Systems (CPS) are increasing exponentially. However, framing resilient and correct smart contracts (SCs) for these smart application is a quite challenging task because of the c…
View article
Slalom: Fast, Verifiable and Private Execution of Neural Networks in Trusted Hardware Open
As Machine Learning (ML) gets applied to security-critical or sensitive domains, there is a growing need for integrity and privacy for outsourced ML computations. A pragmatic solution comes from Trusted Execution Environments (TEEs), which…
View article
Will blockchain technology revolutionize excipient supply chain management Open
Blockchain technology provides a major advance for excipient supply chains, assisting in the delivery of unadulterated, source, process and transit verifiable excipients (or APIs and drug products), but does not alleviate the necessity for…
View article
Toward Trustworthy AI Development: Mechanisms for Supporting Verifiable Claims Open
With the recent wave of progress in artificial intelligence (AI) has come a growing awareness of the large-scale impacts of AI systems, and recognition that existing regulations and norms in industry and academia are insufficient to ensure…
View article
MIP* = RE Open
Note from the Research Highlights Co-Chairs: A Research Highlights paper appearing in Communications is usually peer-reviewed prior to publication. The following paper is unusual in that it is still under review. However, the result has ge…
View article
Managing lifelong learning records through blockchain Open
It is a common practice to issue a summary of a learner’s learning achievements in form of a transcript or certificate. However, detailed information on the depth of learning and how learning or teachings were conducted is not present in t…
View article
Large-scale Election Based On Blockchain Open
Based on the blockchain, homomorphic ElGamal encryption and ring signature, an electronic voting scheme based on blockchain is proposed for large-scale voting, which has the properties of decentralization, self-management, non-interactive …
View article
Toward Trustworthy AI Development: Mechanisms for Supporting Verifiable\n Claims Open
With the recent wave of progress in artificial intelligence (AI) has come a\ngrowing awareness of the large-scale impacts of AI systems, and recognition\nthat existing regulations and norms in industry and academia are insufficient\nto ens…
View article
Consistency and fluctuations for stochastic gradient Langevin dynamics Open
Applying standard Markov chain Monte Carlo (MCMC) algorithms to large data sets is computationally expensive. Both the calculation of the acceptance probability and the creation of informed proposals usually require an iteration through th…
View article
Blockchain Based Data Integrity Verification for Large-Scale IoT Data Open
Achieving data integrity verification for large-scale IoT data in cloud storage safely and efficiently has become one of the hot topics with further applications of Internet of Things. Traditional data integrity verification methods genera…
View article
Blockchain-Based Personal Health Records Sharing Scheme With Data Integrity Verifiable Open
The sharing of personal health records can help to improve the accuracy of the doctor's diagnosis and to promote the progress of medical research. Currently, to reduce the maintenance cost of data, personal health records are usually outso…
View article
Using Google Scholar in research evaluation of humanities and social science programs: A comparison with Web of Science data Open
In this paper, we report on the application of Google Scholar (GS)-based metrics in the formal assessment of research programs. Involved were programs in the fields of Education, Pedagogical Sciences, and Anthropology in The Netherlands. A…
View article
DECO: Liberating Web Data Using Decentralized Oracles for TLS Open
Thanks to the widespread deployment of TLS, users can access private data over channels with end-to-end confidentiality and integrity. What they cannot do, however, is prove to third parties the {\em provenance} of such data, i.e., that it…
View article
Open Education Science Open
Scientific progress is built on research that is reliable, accurate, and verifiable. The methods and evidentiary reasoning that underlie scientific claims must be available for scrutiny. Like other fields, the education sciences suffer fro…
View article
VQL: Efficient and Verifiable Cloud Query Services for Blockchain Systems Open
Despite increasingly emerging applications, a primary concern for blockchain to be fully practical is the inefficiency of data query. Direct queries on the blockchain take much time by searching every block, while indirect queries on a blo…
View article
DSMAC: Privacy-Aware Decentralized Self-Management of Data Access Control Based on Blockchain for Health Data Open
In recent years, the interest in using wireless communication technologies and mobile devices in the healthcare environment has increased. However, despite increased attention to the security of electronic health records, patient privacy i…
View article
Towards the intelligent agents for blockchain e-voting system Open
There are many existing voting solutions which have different benefits and issues. The most significant ones are lack of transparency and auditability. Recently developed blockchain technology may be a solution to these issues. The paper d…
View article
Orchestrating a smart circular economy: Guiding principles for digital product passports Open
In order for firms to implement the Circular Economy, and close all material and energy cycles, connections are needed not only within but also between multiple Industrial Ecosystems. To enable such complex interconnections, the European U…
View article
VerSA: Verifiable Secure Aggregation for Cross-Device Federated Learning Open
In privacy-preserving cross-device federated learning, users train a global model on their local data and submit encrypted local models, while an untrusted central server aggregates the encrypted models to obtain an updated global model. P…
View article
Training verified learners with learned verifiers Open
This paper proposes a new algorithmic framework, predictor-verifier training, to train neural networks that are verifiable, i.e., networks that provably satisfy some desired input-output properties. The key idea is to simultaneously train …
View article
AdaCare: Explainable Clinical Health Status Representation Learning via Scale-Adaptive Feature Extraction and Recalibration Open
Deep learning-based health status representation learning and clinical prediction have raised much research interest in recent years. Existing models have shown superior performance, but there are still several major issues that have not b…