Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 20 of 77 for “"liveness"”.
-
Textural features for fingerprint liveness detection
… biometrics and in particular the Fingerprint Liveness Detection (FLD), namely the recognition of fake fingerprints. Fingerprints spoofing is a topical issue as evidenced by the release of the latest iPhone and Samsung Galaxy models with an embedded fingerprint reader as an alternative to …
-
Adding liveness detection to the hand geometry scanner
… message is displayed onto an LCD, concerning the liveness of the hand and the pulse rate.
-
Surveying face liveness detection in the deepfake era
Submission published under a 24 month embargo labeled 'U of I Access', the embargo will last until 2024-05-01
-
Comparison of classification methods for perspiration-based liveness algorithm
… or in the worst case, dismembered fingers. Liveness, i.e. to determine whether the introduced biometric is coming from a live source, has been suggested as a means to circumvent attacks that use spoof fingers. It has been shown that water based casting materials and cadaver fingers were able …
-
PRAESENTIA EX MACHINA: The Millennial Technoculture, Liveness and Theatre
… disorientation with broad reaching implications. Liveness, initially defined as that which is unrecorded, has been perceived in many new technological formats. This phenomenon, combined with pervasive digitization of information and entertainment has minimized the cultural significance of the …
-
PRAESENTIA EX MACHINA: The Millennial Technoculture, Liveness and Theatre
… disorientation with broad reaching implications. Liveness, initially defined as that which is unrecorded, has been perceived in many new technological formats. This phenomenon, combined with pervasive digitization of information and entertainment has minimized the cultural significance of the …
-
Liveness analysis, modeling, and simulation of blockchain consensus algorithms' ability to tolerate malicious miners
… security level and performance is required; liveness for permissioned blockchain systems is evaluated. We focus on permissioned blockchains because they retain the structure and benefits afforded by the blockchain concept while end users maintain control over their processes, procedures, and …
-
On computing a liveness enforcing supervisory policy for a class of general petri nets
… the machine. This thesis is about computing Liveness Enforcing Supervisory Policies (LESPs) for Petri net (PN) models of DEDS systems. The existence of an LESP for general PNs is not even semi-decidable. This thesis identifies two classes of PNs F and H for which the existence of a LESP is …
-
Algorithms for computing liveness enforcing supervisors for discrete event-driven systems modeled by petri nets
… ""good"" eventually occurs, is said to enforce a liveness property. In this thesis, we focus on the synthesis of Liveness Enforcing Supervisory Policies (LESPs) that ensures DEDS system never gets into a livelock. A DEDS system is said to be deadlocked (resp. livelocked) if all (resp. some) events …
-
On the convexity of right-closed sets and its application to liveness enforcement in Petri Nets
… right-closed sets feature in the synthesis of Liveness Enforcing Supervisory Policies (LESPs) for a large family of Petri Nets (PNs). For any PN structure N from this family, the set of initial markings, (N), for which there is a LESP, is right-closed. A LESP determines the transitions of a PN …
-
On the decidability of problems in liveness of controlled Discrete Event Systems modeled by Petri Nets
… due to the occurrence of events. Informally, a liveness property stipulates that a 'good thing' happens during the evolution of a system. Some examples of liveness properties include starvation freedom -- where the 'good thing' is the process making progress; termination -- in which the good …
-
Object-Oriented Implementation of the minimally restrictive liveness enforcing supervisory policy in a class of Petri nets
… This report is about the automatic synthesis of Liveness Enforcing Supervisory Policies (LESPs) for Petri net models of DEDS systems. Past research has shown that the existence of an LESP in DEDS systems modeled by a class of general Free-Choice Petri Nets (FCPNs) is decidable, and the minimally …
-
The complexity of Petri net transformations
… transformations. Transformations that preserve liveness and boundedness are considered. Liveness and boundedness are possibly the two most important properties in the analysis of Petri nets. Unfortunately, although decidable, determining such properties is intractable in the general Petri net. …
-
Algorithms and lower bounds in finite automata size complexity
… are polynomial or not. We prove two theorems for liveness, the complete problem for the conversion from 1NFAS to 2DFAS. We first focus on moles, a restricted class of 2NFAs that includes the polynomially large 1NFAS which solve liveness. We prove that, in contrast, 2DFA moles cannot solve …
-
To ascertain if blockchain can facilitate the Internet of Things security and scalability requirements
… scalability issues, while others suffer with liveness and/or safety issues. This is because many researchers have not considered the importance of liveness and safety, with respect to the integrity of the consensus decision. In this research first the requirements of a IoT blockchain consensus …
-
Security for proof of work blockchains via checkpointing
… provided by the finality gadget, significant liveness vulnerabilities exist. The proposed remedy achieves asymptotic liveness but the achieved chain quality (the fraction of honest blocks in the ledger) and latency deteriorate exponentially as the adversary power increases beyond 50%. …
-
The Art of Fingerprint Spoofing
… sensors thus leading to the creation of Liveness Detector modules, capable of detecting the liveness of a fingerprint: from handcrafted methods to deep neural networks, the performances, tested on datasets of first editions of the LivDet competitions containing live prints and fake prints …
-
To create live treatments of actuality : an investigation of the emerging field of live documentary practice
Keywords: documentary, interactive, live, liveness, ephemerality, interactivity, theater, performance, television, televisuality, database, data, live data, real time Abstract: The field of documentary is undergoing a transformation as it collides with digital technologies. A new arena of …
-
Correct Programs, Executed Correctly: Verifying Specifications And Executions
… extend to other properties of interest, such as liveness, correct execution, and cryptographic properties, like zero-knowledge security. While these properties are valuable in cloud computing, where execution is outsourced to untrusted third-party providers, they remain understudied. This …
-
Security and Privacy Issues of Mobile Cyber-physical Systems
… we focus on three important topics: voice liveness detection, face forgery detection, and securing PIN-based authentication. In terms of attack systems, we study the location privacy in augmented reality (AR) applications. We first investigate the voice replay attacks on smartphones. Voice …
Page 1 of 4