Search
Search Results
-
Proof Logging for the Circuit Constraint
Proof logging in constraint programming is an approach to certifying a conclusion reached by a solver. To allow for this, different propagators must... -
A literature review and existing challenges on software logging practices
Software logging is the practice of recording different events and activities that occur within a software system, which are useful for different...
-
Logging and Testing
Logging is an important aspect of any application and, like many other topics covered by this book, certainly not a concept unique to Serverless... -
Synergies and scaling of use case combinations in the field of asset logging and labeling
The digitalization of the energy sector enables a broad range of new digital use cases and business models. For instance, blockchain-technology can...
-
SealFSv2: combining storage-based and ratcheting for tamper-evident logging
Tamper-evident logging is paramount for forensic audits and accountability subsystems. It is based on a forward integrity model: upon intrusion, the...
-
A Blockchain-Based Tamper-Resistant Logging Framework
Since its introduction in Bitcoin, the blockchain has proven to be a versatile data structure. In its role as an immutable ledger, it has grown... -
Propositional Proof Skeletons
Modern SAT solvers produce proofs of unsatisfiability to justify the correctness of their results. These proofs, which are usually represented in the... -
Asset logging in the energy sector: a scalable blockchain-based data platform
Due to a steeply growing number of energy assets, the increasingly decentralized and segmented energy sector fuels the potential for new digital use...
-
Develo** a Novel Digital Forensics Readiness Framework for Wireless Medical Networks Using Specialised Logging
Wireless Medical Networks (WMNs) have always been a vital component for the treatment and management of chronic diseases. However, the data generated... -
Blockchain-based tamper-proof and transparent investigation model for cloud VMs
In cloud forensics, ensuring the integrity of the evidence such that it is admissible in a court of law is essential. There is always a possibility...
-
Certified MaxSAT Preprocessing
Building on the progress in Boolean satisfiability (SAT) solving over the last decades, maximum satisfiability (MaxSAT) has become a viable approach... -
A Resolution Proof System for Dependency Stochastic Boolean Satisfiability
Dependency stochastic Boolean satisfiability (DSSAT), which generalizes stochastic Boolean satisfiability (SSAT) and dependency quantified Boolean...
-
Deep specification and proof preservation for the CoqTL transformation language
Executable engines for relational model-transformation languages evolve continuously because of language extension, performance improvement and bug...
-
Certified Core-Guided MaxSAT Solving
In the last couple of decades, developments in SAT-based optimization have led to highly efficient maximum satisfiability (MaxSAT) solvers, but in... -
Certifying MIP-Based Presolve Reductions for \(0\) – \(1\) Integer Linear Programs
It is well known that reformulating the original problem can be crucial for the performance of mixed-integer programming (MIP) solvers. To ensure... -
Respondent Behavior Logging: A Design Science Research Inquiry into Web Survey Paradata
This paper introduces a framework for Respondent Behavior Logging (RBL), consisting of static and dynamic models that conceptualize respondent... -
Three Attacks on Proof-of-Stake Ethereum
Recently, two attacks were presented against Proof-of-Stake (PoS) Ethereum: one where short-range reorganizations of the underlying consensus chain... -
Implementation of real estate contract system using zero knowledge proof algorithm based blockchain
A real estate contract is a high-risk contract with a large amount of money, and there are many problems in the risk and reliability of fraud. In...
-
QMaxSATpb: A Certified MaxSAT Solver
While certification has been successful in the context of satisfiablity solving, with most state-of-the-art solvers now able to provide proofs of... -
Preprocessing of Propagation Redundant Clauses
The propagation redundant (PR) proof system generalizes the resolution and resolution asymmetric tautology proof systems used by conflict-driven...