共 11 条
- [4] SecurePtrs: Proving Secure Compilation with Data-Flow Back-Translation and Turn-Taking Simulation 2022 IEEE 35TH COMPUTER SECURITY FOUNDATIONS SYMPOSIUM (CSF 2022), 2022, : 64 - 79
- [10] FIRST STEPS IN TRANSLATION: REVIEWING TRANSLATION BOTH AS A TEACHING METHOD AND AS AN ASSESSMENT TOOL. RESEARCH IN THE SCHOOLS OF ENGINEERING, PEDAGOGY AND FINE ARTS, UNIVERSITY OF WESTERN MACEDONIA GREECE INTED2016: 10TH INTERNATIONAL TECHNOLOGY, EDUCATION AND DEVELOPMENT CONFERENCE, 2016, : 8375 - 8384