INFORMATION SECURITY
| Issue | Title | File | |
| No 4 (2025) | PLIF PLATFORM: MODELING AND VERIFICATION OF INFORMATION FLOWS IN SOFTWARE DB UNITS USING THE TEMPORAL LOGIC OF ACTIONS TLA+ |
 (Rus) |
|
| Timakov A.A., Ryzhov I.G. | |||
| No 6 (2024) | High-Speed Convolution Core Architecture for Privacy-Preserving Neural Networks |
(Rus) |
|
| Lapina M.A., Shiriaev E.M., Babenko M.G., Istamov I. | |||
| No 6 (2024) | Cloud Data Placing and private information retrieval algorithms |
(Rus) |
|
| Varnovskiy N.P., Martishin S.A., Khrapchenko M.V., Shokurov A.V. | |||
| No 4 (2024) | Comparative efficiency analysis of hashing algorithms for applications in zk-SNARK circuits in distributed ledgers |
(Rus) |
|
| Kondyrev D.О. | |||
| No 1 (2024) | Description of Paralocks language semantics in TLA+ |
(Rus) |
|
| Timakov A.A. | |||
| No 4 (2023) | SCENARIO OF INFORMATION FLOW ANALYSIS IMPLEMENTATION IN PL/SQL PROGRAM UNITS WITH PLIF PLATFORM |
(Rus) |
|
| TIMAKOV A.A. | |||
| 1 - 6 of 6 Items | |||