English
Related papers

Related papers: Intrinsically Legal-For-Trade Objects by Digital S…

200 papers

We introduce a formal framework for analyzing trades in financial markets. These days, all big exchanges use computer algorithms to match buy and sell requests and these algorithms must abide by certain regulatory guidelines. For example,…

Logic in Computer Science · Computer Science 2020-07-22 Suneel Sarswat , Abhishek Kr Singh

We introduce a formal framework for analyzing trades in financial markets. An exchange is where multiple buyers and sellers participate to trade. These days, all big exchanges use computer algorithms that implement double sided auctions to…

Logic in Computer Science · Computer Science 2019-07-19 Suneel Sarswat , Abhishek Kr Singh

Recent measurements of the Windows code-signing certificate ecosystem have highlighted various forms of abuse that allow malware authors to produce malicious code carrying valid digital signatures. However, the underground trade that allows…

Cryptography and Security · Computer Science 2019-02-15 Kristián Kozák , Bum Jun Kwon , Doowon Kim , Tudor Dumitraş

In tracing the (robotically automated) logistics of large quantities of goods, inexpensive passive RFID tags are preferred for cost reasons. Accordingly, security between such tags and readers have primarily been studied among many issues…

Cryptography and Security · Computer Science 2020-11-12 Hiroshi Watanabe , Kenji Saito , Satoshi Miyazaki , Toshiharu Okada , Hiroyuki Fukuyama , Tsuneo Kato , Katsuo Taniguchi

Permissioned ledger technologies have gained significant traction over the last few years. For practical reasons, their applications have focused on transforming narrowly scoped use-cases in isolation. This has led to a proliferation of…

Cryptography and Security · Computer Science 2021-05-11 Ermyas Abebe , Yining Hu , Allison Irvin , Dileban Karunamoorthy , Vinayaka Pandit , Venkatraman Ramakrishna , Jiangshan Yu

Traditionally, threshold secret sharing (TSS) schemes assume all parties have equal weight, yet emerging systems like blockchains reveal disparities in party trustworthiness, such as stake or reputation. Weighted Secret Sharing (WSS)…

Cryptography and Security · Computer Science 2025-06-02 Kareem Shehata , Han Fangqi , Sri AravindaKrishnan Thyagarajan

We propose an interpretable machine learning framework to help identify trade data discrepancies that are challenging to detect with traditional methods. Our system analyzes trade data to find a novel inverse price-volume signature, a…

General Economics · Economics 2025-11-13 Muhammad Sukri Bin Ramli

Internet of Things (IoT) data are increasingly viewed as a new form of massively distributed and large scale digital assets, which are continuously generated by millions of connected devices. The real value of such assets can only be…

Distributed, Parallel, and Cluster Computing · Computer Science 2018-07-11 Paolo Missier , Shaimaa Bajoudah , Angelo Capossele , Andrea Gaglione , Michele Nati

Documents are largely stored and shared digitally. Yet, digital documents are still commonly signed using (copies of) handwritten signatures, which are sensitive to fraud. Though secure, cryptography-based signature solutions exist, they…

Human-Computer Interaction · Computer Science 2024-10-10 Yorick Last , Jorrit Geels , Hanna Schraffenberger

Image steganography, defined as the practice of concealing information within another image, traditionally encounters security challenges when its methods become publicly known or are under attack. To address this, a novel private key-based…

Multimedia · Computer Science 2024-01-19 Hang Yang , Yitian Xu , Xuhua Liu

Due to increasing numbers of product piracy worldwide, a cost-effective method for verifying the origin of a product is to be developed. For this purpose, a certificate of authenticity can be created using precisely measurable, unique…

Cryptography and Security · Computer Science 2023-04-27 Oliver Linne

This paper describes the development of a scale to measure technology acceptance in smart agriculture. The scale is intended for use in diverse situations, ranging for the evaluation of existing technologies already in widespread use, to…

Human-Computer Interaction · Computer Science 2022-03-30 Rosemary J Thomas , Rebecca Whetton , Andy Doyle , David Coyle

Recently, the first online complexity class, AOC, was introduced. The class consists of many online problems where each request must be either accepted or rejected, and the aim is to either minimize or maximize the number of accepted…

Data Structures and Algorithms · Computer Science 2017-08-15 Joan Boyar , Lene M. Favrholdt , Christian Kudahl , Jesper W. Mikkelsen

The use of physical documents is inconvenient and inefficient in today's world, which motivates us to move towards the use of digital documents. Digital documents can solve many problems of inefficiency of data management but proving their…

Cryptography and Security · Computer Science 2021-11-16 Chanaka Lakmal , Sachithra Dangalla , Chandu Herath , Chamin Wickramarathna , Gihan Dias , Shantha Fernando

Arms control treaties are necessary to reduce the large stockpiles of the nuclear weapons that constitute one of the biggest dangers to the world. However, an impactful treaty hinges on effective inspection exercises to verify the…

Instrumentation and Detectors · Physics 2019-10-03 Ezra M. Engel , Areg Danagoulian

Many recent social media posts and news may create a perception of big success in the use of blockchain for the real estate industry, land registration and protection of titles and property rights. A sobering outlook is crucial because…

Computers and Society · Computer Science 2020-07-24 Oleksii Konashevych

The area of Handwritten Signature Verification has been broadly researched in the last decades, but remains an open research problem. The objective of signature verification systems is to discriminate if a given signature is genuine…

Computer Vision and Pattern Recognition · Computer Science 2019-01-25 Luiz G. Hafemann , Robert Sabourin , Luiz S. Oliveira

In this paper, a new classifier based on the intrinsic properties of the data is proposed. Classification is an essential task in data mining-based applications. The classification problem will be challenging when the size of the training…

Machine Learning · Computer Science 2020-10-14 Sahar Tavakoli

Nowadays, smart contracts have become increasingly popular and, as with software development in general, testing is the standard method for verifying their correctness. However, smart contracts require a higher level of certainty regarding…

Software Engineering · Computer Science 2023-07-06 Alexandre Mota , Fei Yang , Cristiano Teixeira

The rise of digital currency and the public ledger Block Chain has led to the development of a new type of electronic contract known as "smart contracts." For these contracts to be considered valid, they must adhere to traditional contract…

‹ Prev 1 2 3 10 Next ›