The following pages link to Aaron Lye (Q782582):
Displaying 28 items.
- Context-sensitive fusion grammars are universal (Q782583) (← links)
- Splicing/fusion grammars and their relation to hypergraph grammars (Q1663969) (← links)
- A simple notion of parallel graph transformation and its perspectives (Q1708179) (← links)
- Improved cryptanalysis of a ElGamal cryptosystem based on matrices over group rings (Q2033526) (← links)
- A categorial approach to reaction systems: first steps (Q2044950) (← links)
- Context-sensitive fusion grammars and fusion grammars with forbidden context are universal (Q2084774) (← links)
- Transformations of reaction systems over categories by means of epi-mono factorization and functors (Q2117257) (← links)
- A case study on the graph-transformational modeling and analysis of puzzles (Q2117266) (← links)
- Resource-restricted cryptography: revisiting MPC bounds in the proof-of-work era (Q2119009) (← links)
- Offline witness encryption from witness PRF and randomized encoding in CRS model (Q2183915) (← links)
- Deciding non-emptiness of hypergraph languages generated by connection-preserving fusion grammars is NP-complete (Q2232268) (← links)
- Cryptanalysis and improvements of an efficient certificate-based proxy signature scheme for IIoT environments (Q2234800) (← links)
- Transformation of Petri nets into context-dependent fusion grammars (Q2278280) (← links)
- Canonical mixed-polarity multi-target Toffoli circuits: shift and removal (Q2280331) (← links)
- Relating DNA computing and splitting/fusion grammars (Q2292976) (← links)
- Considering nearest neighbor constraints of quantum circuits at the reversible circuit level (Q2454191) (← links)
- Transformation of variants of Petri nets into context-dependent fusion grammars (Q2672655) (← links)
- Canonical Multi-target Toffoli Circuits (Q2798752) (← links)
- Checking Reversibility of Boolean Functions (Q3186609) (← links)
- Graph Transformation Meets Reversible Circuits: Model Transformation and Optimization (Q3187814) (← links)
- Graph Transformation Meets Reversible Circuits: Generation, Evaluation, and Synthesis (Q3192241) (← links)
- Fusion Grammars: A Novel Approach to the Generation of Graph Languages (Q4972010) (← links)
- (Q5020537) (← links)
- (Q5021221) (← links)
- From fairness to full security in multiparty computation (Q5916285) (← links)
- Bloom filter encryption and applications to efficient forward-secret 0-RTT key exchange (Q5918309) (← links)
- Tighter security proofs for GPV-IBE in the quantum random oracle model (Q5925501) (← links)
- Moving a derivation along a derivation preserves the spine (Q6535507) (← links)
