Erscheinungsjahr
Medientyp
Fach
Format
Lizenz
Sprache
Synonyme wurden verwendet für: Sicherheit
Suche ohne Synonyme: keywords:(Sicherheit)
Verwendete Synonyme:
- safety
- security
-
Spectral Approach to the Communication Complexity of Multi-Party Key Agreement
Freier ZugriffDataCite | 2024|Schlagwörter: Security and privacy → Information-theoretic techniques -
Private Data Stream Analysis for Universal Symmetric Norm Estimation
Freier ZugriffDataCite | 2023|Schlagwörter: Security and privacy → Usability in security and privacy -
How to Make Your Approximation Algorithm Private: A Black-Box Differentially-Private Transformation for Tunable Approximation Algorithms of Functions with Low Sensitivity
Freier ZugriffDataCite | 2023|Schlagwörter: Security and privacy → Usability in security and privacy -
Foundational Verification of Stateful P4 Packet Processing
Freier ZugriffDataCite | 2023|Schlagwörter: Security and privacy → Logic and verification -
Proof Repair Infrastructure for Supervised Models: Building a Large Proof Repair Dataset
Freier ZugriffDataCite | 2023|Schlagwörter: Security and privacy → Logic and verification -
An Elementary Formal Proof of the Group Law on Weierstrass Elliptic Curves in Any Characteristic
Freier ZugriffDataCite | 2023|Schlagwörter: Security and privacy → Logic and verification -
Secure Computation with Non-Equivalent Penalties in Constant Rounds
Freier ZugriffDataCite | 2022|Schlagwörter: Security and privacy → Cryptography -
Formalizing the Divergence Theorem and the Cauchy Integral Formula in Lean
Freier ZugriffDataCite | 2022|Schlagwörter: Security and privacy → Logic and verification -
Bounded-Deducibility Security (Invited Paper)
Freier ZugriffDataCite | 2021|Schlagwörter: Security and privacy → Security requirements, Information-flow security, Security and privacy → Formal security models, Security and privacy → Logic and verification -
Resilience Engineering's Potential for Advanced Air Mobility (AAM)
NTRS | 2021|Schlagwörter: Safety-II, Air Transportation And Safety, Aviation Safety -
Approach for application-specific selection of risk assessment methods
Freier ZugriffDataCite | 2021|Schlagwörter: Supply Chain Security -
Simultaneous treatment of risk and resilience
Freier ZugriffDataCite | 2021|Schlagwörter: Supply Chain Security -
Analysis of the Suez Canal blockage with queueing theory
Freier ZugriffDataCite | 2021|Schlagwörter: Supply Chain Security -
Replacing Probability Distributions in Security Games via Hellinger Distance
Freier ZugriffDataCite | 2021|Schlagwörter: Security and privacy → Cryptography, Security proof -
Approximate Range Counting Under Differential Privacy
Freier ZugriffDataCite | 2021|Schlagwörter: Security and privacy → Formal methods and theory of security -
Code Offset in the Exponent
Freier ZugriffDataCite | 2021|Schlagwörter: Security and privacy → Biometrics, Security and privacy → Information-theoretic techniques -
More Communication Lower Bounds for Information-Theoretic MPC
Freier ZugriffDataCite | 2021|Schlagwörter: Security and privacy → Information-theoretic techniques -
Records Management and Long-Term Preservation of Evidence in DLT
Freier ZugriffFraunhofer Publica | 2021|Schlagwörter: blockchain security -
Broadcast Secret-Sharing, Bounds and Applications
Freier ZugriffDataCite | 2021|Schlagwörter: Security and privacy → Information-theoretic techniques -
Privately Answering Counting Queries with Generalized Gaussian Mechanisms
Freier ZugriffDataCite | 2021|Schlagwörter: Security and privacy → Privacy-preserving protocols
Meine Suche schicken an (beta)
Schicken Sie ihre Suchanfrage (Suchterm ohne Filter) an andere Datenbanken, Portale und Kataloge, um ggf. weitere interessante Treffer zu finden:
Dimensions ist eine Datenbank für Abstracts und Zitate, die Informationen zu Forschungsförderungen mit daraus resultierenden Veröffentlichungen, Studien und Patenten verknüpft.
Im TIB AV-Portal können audiovisuelle Medien aus Wissenschaft und Lehre recherchiert und eigene wissenschaftliche Videos publiziert werden.
Im FID move kann nach fachspezifischer Literatur, Forschungsdaten und weitere Informationen aus der Mobilitäts- und Verkehrsforschung gesucht werden.
Der Open Research Knowledge Graph liefert strukturiert beschriebene Forschungsinhalte und macht diese vergleichbar.
Frei zugänglicher Ausschnitt der Verbunddatenbank K10plus des GBV und des SWB mit für die Fernleihe und Direktlieferdienste relevanten Materialien.