|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1164 occurrences of 581 keywords
|
|
|
Results
Found 1756 publication records. Showing 1756 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
17 | Dusko Pavlovic, Peter Pepper, Douglas R. Smith |
Evolving Specification Engineering. |
AMAST |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Paula Herber, Joachim Fellmuth, Sabine Glesner |
Model checking SystemC designs using timed automata. |
CODES+ISSS |
2008 |
DBLP DOI BibTeX RDF |
model checking, timed automata, SystemC |
17 | Richard Torbjørn Sanders, Øystein Haugen |
Milestones: Mythical Signals in UML to Analyze and Monitor Progress. |
ServiceWave |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Mila E. Majster-Cederbaum, Christoph Minnameier |
Deriving Complexity Results for Interaction Systems from 1-Safe Petri Nets. |
SOFSEM |
2008 |
DBLP DOI BibTeX RDF |
|
17 | Naiqi Wu, Liping Bai, Chengbin Chu |
Modeling and Conflict Detection of Crude Oil Operations for Refinery Process Based on Controlled Colored Timed Petri Net. |
IEEE Trans. Syst. Man Cybern. Part C |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Alessio Lomuscio, Hongyang Qu 0001, Marek J. Sergot, Monika Solanki |
Verifying Temporal and Epistemic Properties of Web Service Compositions. |
ICSOC |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Ping Hang Cheung, Alessandro Forin |
A C-Language Binding for PSL. |
ICESS |
2007 |
DBLP DOI BibTeX RDF |
C, Assertion Based Verification, Property Specification Language |
17 | King Sing Cheung, K. O. Chow |
Property-Preserving Composition of Distributed System Components. |
APPT |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Gregor Gößler, Susanne Graf, Mila E. Majster-Cederbaum, Moritz Martens, Joseph Sifakis |
An Approach to Modelling and Verification of Component Based Systems. |
SOFSEM (1) |
2007 |
DBLP DOI BibTeX RDF |
|
17 | Maria João Frade, Ando Saabas, Tarmo Uustalu |
Foundational certification of data-flow analyses. |
TASE |
2007 |
DBLP DOI BibTeX RDF |
data-flow analyses, certification of analyses and optimizations, applied vs. foundational, type systems, program optimizations, Hoare logics, natural semantics |
17 | Roma Kane, Panagiotis Manolios, Sudarshan K. Srinivasan |
Monolithic verification of deep pipelines with collapsed flushing. |
DATE |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Nabil Hameurlain |
A Formal Framework for Component Pr otocols Behavioural Compatibility. |
APSEC |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Hongbo Jiang 0001, Shudong Jin |
NSYNC: network synchronization for peer-to-peer streaming overlay construction. |
NOSSDAV |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Ferucio Laurentiu Tiplea, Geanina Ionela Macovei |
E-timed Workflow Nets. |
SYNASC |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Edmund M. Clarke, Muralidhar Talupur, Helmut Veith |
Environment Abstraction for Parameterized Verification. |
VMCAI |
2006 |
DBLP DOI BibTeX RDF |
|
17 | Milos Besta, Frank A. Stomp |
A Complete Mechanization of Correctness of a String-Preprocessing Algorithm. |
Formal Methods Syst. Des. |
2005 |
DBLP DOI BibTeX RDF |
formal methods, pattern matching, theorem proving, PVS |
17 | Michael Backes 0001, Dennis Hofheinz, Jörn Müller-Quade, Dominique Unruh |
On fairness in simulatability-based cryptographic systems. |
FMSE |
2005 |
DBLP DOI BibTeX RDF |
scheduling, fairness, cryptographic protocols, simulatability |
17 | Tobias Schüle, Klaus Schneider 0001 |
Three-valued logic in bounded model checking. |
MEMOCODE |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Roly Perera, Russ Freeman |
Beyond the language workbench: a runtime platform for practical semantic computing. |
OOPSLA Companion |
2005 |
DBLP DOI BibTeX RDF |
relational programming, incremental computation, dynamic aspects |
17 | Thomas Tuerk, Klaus Schneider 0001 |
From PSL to LTL: A Formal Validation in HOL. |
TPHOLs |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Aditya Abhyankar, Stephanie A. C. Schuckers |
Characterization, Similarity Score and Uniqueness Associated with Perspiration Pattern. |
AVBPA |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Andreas Podelski, Ina Schaefer, Silke Wagner |
Summaries for While Programs with Recursion. |
ESOP |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Ferucio Laurentiu Tiplea, Geanina Ionela Macovei |
Timed Workflow Nets. |
SYNASC |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Ittai Balaban, Amir Pnueli, Lenore D. Zuck |
Ranking Abstraction as Companion to Predicate Abstraction. |
FORTE |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Richard Torbjørn Sanders, Rolv Bræk, Gregor von Bochmann, Daniel Amyot |
Service Discovery and Component Reuse with Semantic Interfaces. |
SDL Forum |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Jay Ligatti, Lujo Bauer, David Walker 0001 |
Enforcing Non-safety Security Policies with Program Monitors. |
ESORICS |
2005 |
DBLP DOI BibTeX RDF |
|
17 | J. G. Cederquist, Ricardo Corin, Muhammad Torabi Dashti |
On the Quest for Impartiality: Design and Analysis of a Fair Non-repudiation Protocol. |
ICICS |
2005 |
DBLP DOI BibTeX RDF |
|
17 | Sandeep S. Kulkarni, Ali Ebnenasir |
Automated Synthesis of Multitolerance. |
DSN |
2004 |
DBLP DOI BibTeX RDF |
Fault-tolerance, Formal methods, Distributed programs, Program synthesis, Automatic addition of fault-tolerance |
17 | Zhiwu Li 0001, Weixian Cao, Anrong Wang |
Analysis of a siphon-based deadlock prevention policy for flexible manufacturing systems. |
ICARCV |
2004 |
DBLP DOI BibTeX RDF |
|
17 | J. Christian Attiogbé |
A Mechanically Proved Development Combining B Abstract Systems and Spin. |
QSIC |
2004 |
DBLP DOI BibTeX RDF |
|
17 | José Manuel Colom |
The Resource Allocation Problem in Flexible Manufacturing Systems. |
ICATPN |
2003 |
DBLP DOI BibTeX RDF |
|
17 | Nick Cook, Santosh K. Shrivastava, Stuart M. Wheater |
Distributed Object Middleware to Support Dependable Information Sharing between Organisations. |
DSN |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Yu Chen 0017, Jennifer L. Welch |
Self-stabilizing mutual exclusion using tokens in mobile ad hoc networks. |
DIAL-M |
2002 |
DBLP DOI BibTeX RDF |
fault tolerance, mobile ad hoc networks, self-stabilization, mutual exclusion, token circulation |
17 | Klaus Kursawe |
Optimistic Byzantine Agreement. |
SRDS |
2002 |
DBLP DOI BibTeX RDF |
|
17 | Serge Haddad, Patrice Moreaux, Matteo Sereno, Manuel Silva Suárez |
Structural Characterization and Qualitative Properties of Product Form Stochastic Petri Nets. |
ICATPN |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Joseph E. Stoy, Xiaowei Shen, Arvind |
Proofs of Correctness of Cache-Coherence Protocols. |
FME |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Ahmed Bouajjani, Aurore Collomb-Annichini, Yassine Lakhnech, Mihaela Sighireanu |
Analyzing Fair Parametric Extended Automata. |
SAS |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Giorgio Delzanno, Tevfik Bultan |
Constraint-Based Verification of Client-Server Protocols. |
CP |
2001 |
DBLP DOI BibTeX RDF |
|
17 | Markus Müller-Olm, Helmut Seidl |
On optimal slicing of parallel programs. |
STOC |
2001 |
DBLP DOI BibTeX RDF |
complexity, parallel programs, slicing, undecidability, interprocedural analysis |
17 | Stefania Gnesi, Diego Latella, Gabriele Lenzini, C. Abbaneo, Arturo M. Amendola, P. Marmo |
An Automatic SPIN Validation of a Safety Critical Railway Control System. |
DSN |
2000 |
DBLP DOI BibTeX RDF |
dependable protocols, model checking, formal verification, safety-critical systems |
17 | Thomas A. Henzinger, Sriram K. Rajamani |
Fair Bisimulation. |
TACAS |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Sébastien Bornot, Gregor Gößler, Joseph Sifakis |
On the Construction of Live Timed Systems. |
TACAS |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Assia Doudou, Rachid Guerraoui, Benoît Garbinato |
Abstractions for Devising Byzantine-Resilient State Machine Replication. |
SRDS |
2000 |
DBLP DOI BibTeX RDF |
|
17 | Javier Esparza, Alain Finkel, Richard Mayr |
On the Verification of Broadcast Protocols. |
LICS |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Dimitra Giannakopoulou, Jeff Magee, Jeff Kramer |
Checking Progress with Action Priority: Is it Fair? |
ESEC / SIGSOFT FSE |
1999 |
DBLP DOI BibTeX RDF |
|
17 | Hsu-Chun Yen |
Priority Conflict-Free Petri Nets. |
Acta Informatica |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Satoshi Yamane |
A Practical Hierarchical Design by Timed Simulation Relations for Real-Time Systems. |
FM-Trends |
1998 |
DBLP DOI BibTeX RDF |
|
17 | Gilberto Matos, James M. Purtilo, Elizabeth L. White |
Automated Computation of Decomposable Synchronization Conditions. |
HASE |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Roope Kaivola |
Using Compositional Preorders in the Verification of Sliding Window Protocal. |
CAV |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Rajeev Alur, Thomas A. Henzinger |
Modularity for Timed and Hybrid Systems. |
CONCUR |
1997 |
DBLP DOI BibTeX RDF |
|
17 | Andrei Kovalyov |
An O(|S|×|T|)- Algorithm to Verify if a Net is Regular. |
Application and Theory of Petri Nets |
1996 |
DBLP DOI BibTeX RDF |
|
17 | Bengt Jonsson 0001 |
Compositional Specification and Verification of Distributed Systems. |
ACM Trans. Program. Lang. Syst. |
1994 |
DBLP DOI BibTeX RDF |
specification, message passing, compositionality, stepwise refinement, modular specification, assertional reasoning |
17 | Nils Klarlund |
The Limit View of Infinite Computations. |
CONCUR |
1994 |
DBLP DOI BibTeX RDF |
|
17 | Allan Cheng, Javier Esparza, Jens Palsberg |
Complexity Results for 1-safe Nets. |
FSTTCS |
1993 |
DBLP DOI BibTeX RDF |
|
17 | Jörg Desel |
A Proof of the Rank Theorem for Extended Free Choice Nets. |
Application and Theory of Petri Nets |
1992 |
DBLP DOI BibTeX RDF |
free choice nets - analysis, structure and behaviour of nets |
17 | Bengt Jonsson 0001 |
A Hierarchy of Compositional Models of I/O-Automata (Extended Abstract). |
MFCS |
1990 |
DBLP DOI BibTeX RDF |
|
17 | Javier Esparza, Manuel Silva Suárez |
On the analysis and synthesis of free choice systems. |
Applications and Theory of Petri Nets |
1989 |
DBLP DOI BibTeX RDF |
free choice nets, linear algebra techniques, state refinement, structure of systems, modular synthesis, top-down synthesis, Analysis, transformation, reduction |
17 | Eugene W. Stark |
A Proof Technique for Rely/Guarantee Properties. |
FSTTCS |
1985 |
DBLP DOI BibTeX RDF |
|
17 | Zohar Manna, Amir Pnueli |
Proving Precedence Properties: The Temporal Way. |
ICALP |
1983 |
DBLP DOI BibTeX RDF |
|
17 | Brent Hailpern, Susan S. Owicki |
Modular Verification of Concurrent Programs. |
POPL |
1982 |
DBLP DOI BibTeX RDF |
|
16 | Ranjit Jhala, Rupak Majumdar |
Software model checking. |
ACM Comput. Surv. |
2009 |
DBLP DOI BibTeX RDF |
counterexample-guided refinement, enumerative and symbolic model checking, abstraction, safety, liveness, Software model checking |
16 | Xuejun Yang, Nathan Cooprider, John Regehr |
Eliminating the call stack to save RAM. |
LCTES |
2009 |
DBLP DOI BibTeX RDF |
stack liveness, sensor networks, compiler optimization, embedded software, memory allocation, memory optimizations |
16 | Isil Dillig, Thomas Dillig, Eran Yahav, Satish Chandra 0001 |
The CLOSER: automating resource management in java. |
ISMM |
2008 |
DBLP DOI BibTeX RDF |
higher-level resource, interest reachability, logical liveness, resource interest graph, resource management |
16 | Anup Kumar Bandyopadhyay |
Modeling fairness and starvation in concurrent systems. |
ACM SIGSOFT Softw. Eng. Notes |
2007 |
DBLP DOI BibTeX RDF |
temporal quantifier, temporal logic, fairness, concurrent program, liveness, weakest precondition |
16 | Girija Chetty, Michael Wagner 0004 |
Audio Visual Speaker Verification Based on Hybrid Fusion of Cross Modal Features. |
PReMI |
2007 |
DBLP DOI BibTeX RDF |
speaker identity verification, liveness checking, cross modal correlations, Audio-visual |
16 | Borzoo Bonakdarpour, Sandeep S. Kulkarni |
Automated Incremental Synthesis of Timed Automata. |
FMICS/PDMC |
2006 |
DBLP DOI BibTeX RDF |
Bounded liveness, Bounded response, Real-time, Formal methods, Synthesis, Transformation, Timed automata |
16 | Panagiotis Manolios, Daron Vroon 0001 |
Integrating static analysis and general-purpose theorem proving for termination analysis. |
ICSE |
2006 |
DBLP DOI BibTeX RDF |
static analysis, theorem proving, termination, liveness, ACL2 |
16 | David M. Ungar, Adam Spitz, Alex Ausch |
Constructing a metacircular Virtual machine in an exploratory programming environment. |
OOPSLA Companion |
2005 |
DBLP DOI BibTeX RDF |
Klein, exploratory programming, fix-and-continue, meta-recursive, metacircularity, mirror-based reflection, remote reflection, object oriented, virtual machine, prototypes, liveness, code reuse, reactivity, debugger, lenses, self |
16 | Cindy Eisner, Dana Fisman, John Havlicek |
A topological characterization of weakness. |
PODC |
2005 |
DBLP DOI BibTeX RDF |
safety component, semantically weak and strong formulas, syntactically weak and strong formulas, temporal weakness and strength, weak and strong components, safety, liveness |
16 | Manoj Kumar Jain, M. Balakrishnan, Anshul Kumar |
An efficient technique for exploring register file size in ASIP synthesis. |
CASES |
2002 |
DBLP DOI BibTeX RDF |
ASIP Synthesis, retargetable estimation, storage exploration, design space exploration, instruction scheduling, register file, global analysis, register spill, liveness analysis |
16 | Yonit Kesten, Amir Pnueli |
Control and Data Abstraction: The Cornerstones of Practical Formal Verification. |
Int. J. Softw. Tools Technol. Transf. |
2000 |
DBLP DOI BibTeX RDF |
Control abstraction, Safety and liveness property, Weak and strong fairness, Model checking, Formal verification, Data abstraction, Linear temporal logic, Network invariant |
16 | Felix C. Gärtner |
Fundamentals of Fault-Tolerant Distributed Computing in Asynchronous Environments. |
ACM Comput. Surv. |
1999 |
DBLP DOI BibTeX RDF |
failure correction, possibility detection, fault tolerance, message passing, redundancy, safety, fault models, liveness, asynchronous system, failure detection, consensus problem, agreement problem, predicate detection |
16 | Peter Ochsenschläger, Jürgen Repp, Roland Rieke, Ulrich Nitsche |
The SH-Verification Tool - Abstraction-Based Verification of Co-operating Systems. |
Formal Aspects Comput. |
1998 |
DBLP DOI BibTeX RDF |
Simple language homomorphisms, Asynchronous product automata, Approximate satisfaction of safety and liveness properties, Model checking, Verification tools |
16 | Luc Bougé, Joaquim Gabarró, Xavier Messeguer, Nicolas Schabanel |
Concurrent Rebalancing of ACL Trees: A Fine-Grained Approach (Extended Abstract). |
Euro-Par |
1997 |
DBLP DOI BibTeX RDF |
Concurrent insertions and deletions, Concurrent generalized rotations, Safety and liveness proofs, Search trees, AVL trees, Concurrent algorithms |
16 | Geoffrey Weyer, William H. Winsborough |
Annotated Structure Shape Graphs for Abstract Analysis of Prolog. |
PLILP |
1996 |
DBLP DOI BibTeX RDF |
Abstract Analysis, Structure Shape Graph, Unify Set, Compile-Time Garbage Collection, Update-In-Place, Structure Sharing, Sharing, Liveness, Aliasing, Type Graph |
16 | Martín Abadi, Leslie Lamport |
Conjoining Specifications. |
ACM Trans. Program. Lang. Syst. |
1995 |
DBLP DOI BibTeX RDF |
temporal logic, composition, decomposition, concurrent programming, safety properties, liveness properties, modular specification |
16 | Daniel Y. Chao, David T. Wang |
A synthesis technique of general petri nets. |
J. Syst. Integr. |
1994 |
DBLP DOI BibTeX RDF |
ordinary Petri nets, general Petri nets, liveness boundedness, structural relationship, synthesis, rule, deadlock, Concurrent system, reversible, flexible manufacturing system |
16 | Martín Abadi, Leslie Lamport |
An Old-Fashined Recipe for Real-Time. |
ACM Trans. Program. Lang. Syst. |
1994 |
DBLP DOI BibTeX RDF |
Zeno, real time, temporal logic, composition, concurrent programming, safety properties, liveness properties |
16 | Leslie Lamport |
The Temporal Logic of Actions. |
ACM Trans. Program. Lang. Syst. |
1994 |
DBLP DOI BibTeX RDF |
concurrent programming, safety properties, liveness properties |
16 | Zohar Manna, Amir Pnueli |
The anchored version of the temporal framework. |
REX Workshop |
1988 |
DBLP DOI BibTeX RDF |
Classification of Properties, Fair Transition System, Verification, Specification, Temporal Logic, Fairness, Safety, Concurrent Programs, Reactive Systems, Liveness, Responsiveness, Proof System, Progress, Recurrence |
16 | Younes Souissi, Nicolas Beldiceanu |
Deterministic Systems of Sequential Processes: Theory and Tools. |
Concurrency |
1988 |
DBLP DOI BibTeX RDF |
deterministic systems of sequential processes, Petri net, expert system, liveness |
16 | Rob J. van Glabbeek |
Bounded Nondeterminism and the Approximation Induction Principle in Process Algebra. |
STACS |
1987 |
DBLP DOI BibTeX RDF |
& Phrases Concurrency, Approximation Induction Principle, Bounded Nondeterminism, Fairness, Abstraction, Consistency, Process algebra, Recursion, Bisimulation, Liveness, ACP |
16 | Krishna M. Kavi, Bill P. Buckles, U. Narayan Bhat |
A Formal Definition of Data Flow Graph Models. |
IEEE Trans. Computers |
1986 |
DBLP DOI BibTeX RDF |
Petri nets, parallel computations, deadlocks, Bipartite graphs, liveness, data flow graphs |
14 | Jianan Yao, Runzhou Tao, Ronghui Gu, Jason Nieh |
Mostly Automated Verification of Liveness Properties for Distributed Protocols with Ranking Functions. |
Proc. ACM Program. Lang. |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Nico Surantha, Boy Sugijakko |
Lightweight face recognition-based portable attendance system with liveness detection. |
Internet Things |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Wenzhong Shen, Juan Liang |
End-to-end multibranch network for palm vein recognition and liveness detection. |
J. Electronic Imaging |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Murat Uzam, Zhiwu Li 0001, Mohammed A. El-Meligy, Mohamed Abdel Fattah Sharaf, Qiwei Tang |
Optimality Test for Control Places of Petri Net Based Liveness Enforcing Supervisors of FMSs. |
IEEE Access |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Sara Morais dos Santos Bruss |
Artificial reproduction? Tabita Rezaire's Sugar Walls Teardom and AI "liveness". |
AI Soc. |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Hongda Qi, Junli Wang, Chungang Yan, Changjun Jiang |
The Probabilistic Liveness Decision Method of Unbounded Petri Nets Based on Machine Learning. |
IEEE Trans. Syst. Man Cybern. Syst. |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Mrdjan Jankovic, Mario A. Santillo, Yan Wang 0075 |
Multiagent Systems With CBF-Based Controllers: Collision Avoidance and Liveness From Instability. |
IEEE Trans. Control. Syst. Technol. |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Tobias Reinhard |
Semi-Automated Modular Formal Verification of Critical Software: Liveness and Completeness Thresholds. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Xiping Sun, Jing Chen 0003, Cong Wu 0003, Kun He 0008, Haozhe Xu, Yebo Feng, Ruiying Du, Xianhao Chen |
MagLive: Near-Field Magnetic Sensing-Based Voice Liveness Detection on Smartphones. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Tom Yaacov, Achiya Elyasaf, Gera Weiss |
Keeping Behavioral Programs Alive: Specifying and Executing Liveness Requirements. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Oleksandr Kuznetsov, Dmytro Zakharov, Emanuele Frontoni, Andrea Maranesi |
AttackNet: Enhancing Biometric Security via Tailored Convolutional Neural Network Architectures for Liveness Detection. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Xingming Long, Shiguang Shan, Jie Zhang 0071 |
Generalized Face Liveness Detection via De-spoofing Face Generator. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Oleksandr Kuznetsov, Dmytro Zakharov, Emanuele Frontoni, Andrea Maranesi, Serhii Bohucharskyi |
Cross-Database Liveness Detection: Insights from Comparative Biometric Analysis. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Dan You, Shouguang Wang |
Non-Deterministic Liveness-Enforcing Supervisor Tolerant to Sensor-Reading Modification Attacks. |
IEEE CAA J. Autom. Sinica |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Yibin Xu, Jingyi Zheng, Boris Düdder, Tijs Slaats, Yongluan Zhou |
A Two-Layer Blockchain Sharding Protocol Leveraging Safety and Liveness for Enhanced Performance. |
IACR Cryptol. ePrint Arch. |
2024 |
DBLP BibTeX RDF |
|
14 | Priyanka Gupta, Hemant A. Patil |
Morse wavelet transform-based features for voice liveness detection. |
Comput. Speech Lang. |
2024 |
DBLP DOI BibTeX RDF |
|
14 | Xianbo Wang, Kaixuan Luo, Wing Cheong Lau |
Living a Lie: Security Analysis of Facial Liveness Detection Systems in Mobile Apps. |
ACNS (3) |
2024 |
DBLP DOI BibTeX RDF |
|
Displaying result #201 - #300 of 1756 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ >>] |
|