Skip to content
Universidad del Mar SIBUMAR Descubridor Institucional UMAR
  • Inicio
  • Búsqueda avanzada
  • Explorar
  • Login
    • English
    • Deutsch
    • Español
    • Français
    • Italiano
Advanced
  • The Bright Side of Timed Opacity
Cover Image

The Bright Side of Timed Opacity

Fuente: arXiv
Saved in:
Bibliographic Details
Main Authors: André, Étienne, Dépernet, Sarah, Lefaucheux, Engel
Format: Preprint
Published: 2024
Subjects:
Logic in Computer Science
Cryptography and Security
Formal Languages and Automata Theory
Online Access:
Acceder al recurso
Tags: Add Tag
No Tags, Be the first to tag this record!
  • Cite this
  • Text this
  • Email this
  • Print
  • Export Record
    • Export to RefWorks
    • Export to EndNoteWeb
    • Export to EndNote
  • Save to List
  • Permanent link
  • Holdings
  • Description
  • Comments
  • Similar Items
  • Staff View

Internet

https://arxiv.org/abs/2408.12240

Similar Items

  • Formal Verification of Physical Layer Security Protocols for Next-Generation Communication Networks (extended version)
    by: Ye, Kangfeng, et al.
    Published: (2025)
  • Agentproof: Static Verification of Agent Workflow Graphs
    by: Xavier, Melwin, et al.
    Published: (2026)
  • Towards Provable Security in Industrial Control Systems Via Dynamic Protocol Attestation
    by: Amorim, Arthur, et al.
    Published: (2024)
  • Quantitative Weakest Hyper Pre: Unifying Correctness and Incorrectness Hyperproperties via Predicate Transformers
    by: Zhang, Linpeng, et al.
    Published: (2024)
  • Graded Symbolic Verification with a Fuzzy Dolev-Yao Attacker Model
    by: Moran, Murat
    Published: (2026)
Universidad del Mar
Universidad del MarSistema Bibliotecario de la Universidad del MarDescubridor Institucional UMARImplementación y desarrollo: Mtro. Carlos Alonso Albores Pérez
InicioBúsqueda avanzadaExplorar
Visitas al Descubridor: 33,245© 2026 Universidad del Mar