Pages that link to "Item:Q2852149"
From MaRDI portal
The following pages link to Formalization of the data encryption standard (Q2852149):
Displaying 6 items.
- \(N\)-dimensional binary vector spaces (Q467773) (← links)
- Formalization of the Advanced Encryption Standard. I (Q467789) (← links)
- Flexary connectives in Mizar (Q1749141) (← links)
- Difference of function on vector space over \(\mathbb F\) (Q2344195) (← links)
- Is the Data Encryption Standard a Group? (Preliminary Abstract) (Q3731513) (← links)
- A SIMPLIFIED DATA ENCRYPTION STANDARD ALGORITHM (Q4890205) (← links)