Trust extension as a mechanism for secure code execution on commodity computers

von Parno, Bryan Jeffrey
Veröffentlicht 2014

Proizvodnaja i ee primenenie k issledovaniju funkcij : Posobie dlja učitelej

von Parno, Ivan Konstantinovič
Veröffentlicht 1968

Integraly v 10. klasse srednej školy : Posobie dlja učitelej

von Parno, Ivan Konstantinovič
Veröffentlicht 1970

Designing and implementing STEM-based teaching materials of static fluid to increase scientific literacy skills

von Indrasari, Nora
Veröffentlicht in ICoMSE (3. : 2019 : Malang) The 3rd International Conference on Mathematics and Science Education (ICoMSE) 2019 (2020)

Algebraic Reductions of Knowledge

von Kothapalli, Abhiram
Veröffentlicht in International Cryptology Conference (43. : 2023 : Santa Barbara, Calif.) Advances in cryptology - CRYPTO 2023 ; Part 4 (2023)

Effect of STEM-based 7E learning cycle on concepts acquisition and creative thinking on temperature and heat

von Azizah, Umi
Veröffentlicht in ICoMSE (3. : 2019 : Malang) The 3rd International Conference on Mathematics and Science Education (ICoMSE) 2019 (2020)

Application of teaching materials based on 7E-STEM learning cycle to improve student’s problem solving skills

von Yuliana, Aulia Siska
Veröffentlicht in ICoMSE (3. : 2019 : Malang) The 3rd International Conference on Mathematics and Science Education (ICoMSE) 2019 (2020)

Archaeologies of mobility and movement

Veröffentlicht 2013

Exploration of students’ conceptual understanding in static fluid through experiential learning integrated STEM with formative assessment

von Estianinur
Veröffentlicht in International Conference on Mathematics and Science Education (4. : 2020 : Online) The 4th International Conference on Mathematics and Science Education (ICoMSE) 2020 ; B (2021)

Building conceptual understanding of students on laws of Newton through argument-driven inquiry

von Parno
Veröffentlicht in International Conference on Mathematics and Science Education (4. : 2020 : Online) The 4th International Conference on Mathematics and Science Education (ICoMSE) 2020 ; B (2021)

Bootstrapping trust in modern computers

von Parno, Bryan
Veröffentlicht 2011

Improving creative thinking skill of fluid dynamic through IBL-STEM with formative assessment

von Permana, Gilang Adi
Veröffentlicht in International Conference on Mathematics and Science Education (4. : 2020 : Online) The 4th International Conference on Mathematics and Science Education (ICoMSE) 2020 ; B (2021)

Blockchains Enable Non-interactive MPC

von Goyal, Vipul
Veröffentlicht in Theory of Cryptography Conference (19. : 2021 : Raleigh, NC) Theory of cryptography ; Part 2 (2021)

Using argument-driven inquiry learning to improve students’ mental models

von Priyadi, Rian
Veröffentlicht in ICoMSE (3. : 2019 : Malang) The 3rd International Conference on Mathematics and Science Education (ICoMSE) 2019 (2020)

Unearthing St. Mary's City : fifty years of archaeology at Maryland's first capital

Veröffentlicht 2021

Storing and Retrieving Secrets on a Blockchain

von Goyal, Vipul
Veröffentlicht in PKC (25. : 2022 : Online) Public-key cryptography - PKC 2022 ; Part 1 (2022)

Self-correcting Neural Networks for Safe Classification

von Leino, Klas
Veröffentlicht in Software verification and formal methods for ML-enabled autonomous systems (2022)

Storage Systems are Distributed Systems (So Verify Them That Way!)

von Hance, Travis
Veröffentlicht in USENIX Symposium on Operating Systems Design and Implementation (14. : 2020 : Online) 14th USENIX Symposium on Operating Systems Design and Implementation (OSDI'20) ; Volume 1 of 2 (2020)