Výsledky vyhľadávania - "Ralf Küsters"

Vulnerabilities that Arise from Poor Governance in Distributed Ledger Technologies.

Autori: Manzano Kharman, Aida Sanders, William

Zdroj: Digital Government: Research & Practice; Sep2025, Vol. 6 Issue 3, p1-21, 21p

Predmety: ORGANIZATIONAL governance, COMPUTER security vulnerabilities, BEST practices, BLOCKCHAINS, COMPUTER security, GOVERNMENT accountability, DECENTRALIZATION in government, DIGITAL technology

Principles of Security and Trust : 7th International Conference, POST 2018, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Autori: Lujo Bauer Ralf Küsters

Typ zdroja: eBook.

Predmet: Computer security, Data structures (Computer science), Computer science, Computer system failures, Computers

Kategórie: COMPUTERS / Security / General, COMPUTERS / General, COMPUTERS / Computer Architecture, COMPUTERS / Computer Science, COMPUTERS / Database Administration & Management, COMPUTERS / Information Theory

Formal Security Analysis of the OpenID FAPI 2.0 Family of Protocols: Accompanying a Standardization Process.

Autori: Hosseyni, Pedram Küsters, Ralf Würtele, Tim

Zdroj: ACM Transactions on Privacy & Security; Feb2025, Vol. 28 Issue 1, p1-36, 36p

Predmety: INFORMATION sharing, PRIVATE companies, STANDARDIZATION, CONSUMERS

Scabbard: An Exploratory Study on Hardware Aware Design Choices of Learning with Rounding-based Key Encapsulation Mechanisms.

Autori: Kundu, Suparna Norga, Quinten Karmakar, Angshuman a ďalší

Zdroj: ACM Transactions on Embedded Computing Systems; Jan2025, Vol. 24 Issue 1, p1-40, 40p

Predmety: PROBLEM-based learning, CRYPTOGRAPHY, MEMORY, MULTIPLICATION, TECHNICAL institutes

Universal Composability Is Robust Compilation.

Autori: Patrignani, Marco Künnemann, Robert Wahby, Riad S. a ďalší

Zdroj: ACM Transactions on Programming Languages & Systems; Dec2024, Vol. 46 Issue 4, p1-64, 64p

Predmety: PROGRAMMING language semantics, PROGRAMMING languages, CRYPTOGRAPHY, SYNTAX (Grammar)

An All-Inclusive Taxonomy and Critical Review of Blockchain-Assisted Authentication and Session Key Generation Protocols for IoT.

Autori: Shahidinejad, Ali Abawajy, Jemal

Zdroj: ACM Computing Surveys; Jul2024, Vol. 56 Issue 7, p1-38, 38p

Predmety: ARTIFICIAL intelligence, INFORMATION technology, HIGH performance computing, COMPUTER security, BLOCKCHAINS, KEY agreement protocols (Computer network protocols), COMPUTER passwords

First-Order Temporal Logic on Finite Traces: Semantic Properties, Decidable Fragments, and Applications.

Autori: Artale, Alessandro Mazzullo, Andrea Ozaki, Ana

Zdroj: ACM Transactions on Computational Logic; Apr2024, Vol. 25 Issue 2, p1-43, 43p

Predmety: FIRST-order logic, DESCRIPTION logics, KNOWLEDGE representation (Information theory), AUTOMATED planning & scheduling

Privacy-preserving Web single sign-on: Formal security analysis and design.

Autori: Schmitz, Guido

Zdroj: IT: Information Technology; 2022, Vol. 64 Issue 1/2, p43-48, 6p

Predmety: WEBSITES, COMPUTER network protocols, ONLINE social networks, INTERNET privacy

Election-related internet-shutdowns in autocracies and hybrid regimes.

Autori: Eichhorn, Kristin Linhart, Eric

Zdroj: Journal of Elections, Public Opinion & Parties; Nov2023, Vol. 33 Issue 4, p705-725, 21p

Predmety: INTERNET access control

Non-Standard Inferences in Description Logics : From Foundations and Definitions to Algorithms and Analysis

Autori: Ralf Küsters

Typ zdroja: eBook.

Predmet: Artificial intelligence, Software engineering, Machine theory

Kategórie: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Software Development & Engineering / General

Structural Subsumption and Least Common Subsumers in a Description Logic with Existential and Number Restrictions.

Autori: Ralf Küsters Ralf Molitor

Zdroj: Studia Logica; Nov2005, Vol. 81 Issue 2, p227-259, 33p

Stateful Protocol Composition in Isabelle/HOL.

Autori: HESS, ANDREAS V. MÖDERSHEIM, SEBASTIAN A. BRUCKER, ACHIM D.

Zdroj: ACM Transactions on Privacy & Security; Aug2023, Vol. 26 Issue 3, p1-36, 36p

Predmety: COMMUNICATION, INTERNET, DATABASES, INFORMATION technology, SAMPLE size (Statistics)

Timed Automata as a Formalism for Expressing Security: A Survey on Theory and Practice.

Autori: ARCILE, JOHAN ANDRÉ, ÉTIENNE

Zdroj: ACM Computing Surveys; Jul2023, Vol. 55 Issue 6, p1-36, 36p

Predmety: THEORY-practice relationship, SECURITY management

Equivalence of Deterministic Top-Down Tree-to-String Transducers Is Decidable.

Autori: SEIDL, HELMUT MANETH, SEBASTIAN KEMPER, GREGOR

Zdroj: Journal of the ACM; Apr2018, Vol. 65 Issue 4, p1-30, 30p

Predmety: TRANSDUCERS, FORMAL languages, PROBABILITY theory, DATA analysis, MULTILINEAR algebra

Immutability and Encapsulation for Sound OO Information Flow Control.

Autori: RUNGE, TOBIAS SERVETTO, MARCO POTANIN, ALEX a ďalší

Zdroj: ACM Transactions on Programming Languages & Systems; Mar2023, Vol. 45 Issue 1, p1-35, 35p

Predmety: INFORMATION resources management, LEAK detection, LEAKS (Disclosure of information), INFORMATION policy, APPLICATION software

Guaranteeing Timed Opacity using Parametric Timed Model Checking.

Autori: ANDRÉ, ÉTIENNE LIME, DIDIER MARINHO, DYLAN a ďalší

Zdroj: ACM Transactions on Software Engineering & Methodology; Oct2022, Vol. 31 Issue 4, p1-36, 36p

Predmety: PARAMETRIC modeling, LEAKS (Disclosure of information), SECURITY systems

FrontMatter.

Zdroj: Advances in Cryptology - ASIACRYPT 2016: 22nd International Conference on the Theory & Application of Cryptology & Information Security, Hanoi, Vietnam, December 4-8, 2016, Proceedings, Part II; 2016, pI-XXIV, 24p

FrontMatter.

Zdroj: Computer Security - ESORICS 2016: 21st European Symposium on Research in Computer Security, Heraklion, Greece, September 26-30, 2016, Proceedings, Part I; 2016, pI-XIX, 19p

Investigating Usability and User Experience of Individually Verifiable Internet Voting Schemes.

Autori: MARKY, KAROLA ZOLLINGER, MARIE-LAURE ROENNE, PETER a ďalší

Zdroj: ACM Transactions on Computer-Human Interaction (TOCHI); Sep2021, Vol. 28 Issue 5, p1-36, 36p

Predmety: INTERNET voting, USER experience, BALLOTS, ELECTRONIC voting, ELECTIONS, ELECTRONIC systems

Developing Cost-Effective Blockchain-Powered Applications: A Case Study of the Gas Usage of Smart Contract Transactions in the Ethereum Blockchain Platform.

Autori: ZARIR, ABDULLAH A. OLIVA, GUSTAVO A. JIANG, ZHEN M. (JACK) a ďalší

Zdroj: ACM Transactions on Software Engineering & Methodology; May2021, Vol. 30 Issue 3, p1-38, 38p

Predmety: BLOCKCHAINS, GAS prices, GASES, CONTRACTS, PREDICTION models