Extended Nested Dual System Groups, Revisited
From MaRDI portal
Recommendations
- Duality systems of groups and PD(n)-systems of groups
- Dual modules and group actions on extra-special groups
- scientific article; zbMATH DE number 5876361
- scientific article; zbMATH DE number 7276333
- scientific article; zbMATH DE number 3844020
- Dualities for root systems with automorphisms and applications to non-split groups
- Groups of Dualities
- The duality theory and the basic isomorphisms of group systems and nets and co-nets of group systems
- The structure of double groupoids
- Dual integrable representations of hypergroups
Cites work
- A brief account of runtime verification
- A programming language for spatial distribution of net systems
- Alternation for termination
- Analyzing program termination and complexity automatically with \textsf{AProVE}
- Bounded variability of metric temporal logic
- Comparing LTL semantics for runtime verification
- Constrained term rewriting tooL
- Formal Modeling and Analysis of Timed Systems
- scientific article; zbMATH DE number 2080059 (Why is no real title available?)
- Limits indexed by category-valued 2-functors
- Loop Summarization and Termination Analysis
- Minimal-model-guided approaches to solving polynomial constraints and extensions
- Monitoring metric first-order temporal properties
- Non-termination Checking for Imperative Programs
- Online timed pattern matching using derivatives
- Policy iteration-based conditional termination and ranking functions
- Proving non-termination
- Runtime monitoring of metric first-order temporal properties
- Trace-length independent runtime monitoring of quantitative policies in LTL
- Verification, Model Checking, and Abstract Interpretation
Cited in
(20)- Short, invertible elements in partially splitting cyclotomic rings and applications to lattice-based zero-knowledge proofs
- Improved inner-product encryption with adaptive security and full attribute-hiding
- Tightly CCA-secure encryption scheme in a multi-user setting with corruptions
- Short tightly secure signatures for signing a vector of group elements: a new approach
- Tightly CCA-secure identity-based encryption with ciphertext pseudorandomness
- Unbounded HIBE with tight security
- Efficient IBE with tight reduction to standard assumption in the multi-challenge setting
- Hierarchical identity-based encryption with tight multi-challenge security
- Almost tight security in lattices with polynomial moduli -- PRF, IBE, all-but-many LTF, and more
- New Proof for BKP IBE Scheme and Improvement in the MIMC Setting
- Adaptive partitioning
- Tightly Secure IBE Under Constant-Size Master Public Key
- Leakage-resilient \textsf{IBE}/\textsf{ABE} with optimal leakage rates from lattices
- Identity-based encryption with (almost) tight security in the multi-instance, multi-ciphertext setting
- Leakage-resilient \textsf{IBE}/\textsf{ABE} with optimal leakage rates from lattices
- Tightly secure (H)IBE in the random oracle model
- Revisiting updatable encryption: controlled forward security, constructions and a puncturable perspective
- Public-key encryption with keyword search in multi-user, multi-challenge setting under adaptive corruptions
- Tight adaptive simulation security for identity-based inner-product FE in the (quantum) random oracle model
- Almost tight security in lattices with polynomial moduli -- PRF, IBE, all-but-many LTF, and more
This page was built for publication: Extended Nested Dual System Groups, Revisited
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2798774)
