Artículos de revistas sobre el tema "Secure Compilation"
Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros
Consulte los 50 mejores artículos de revistas para su investigación sobre el tema "Secure Compilation".
Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.
También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.
Explore artículos de revistas sobre una amplia variedad de disciplinas y organice su bibliografía correctamente.
Vu, Son Tuan, Albert Cohen, Arnaud De Grandmaison, Christophe Guillon y Karine Heydemann. "Reconciling optimization with secure compilation". Proceedings of the ACM on Programming Languages 5, OOPSLA (20 de octubre de 2021): 1–30. http://dx.doi.org/10.1145/3485519.
Texto completoPatrignani, Marco, Amal Ahmed y Dave Clarke. "Formal Approaches to Secure Compilation". ACM Computing Surveys 51, n.º 6 (27 de febrero de 2019): 1–36. http://dx.doi.org/10.1145/3280984.
Texto completoPatrignani, Marco y Deepak Garg. "Robustly Safe Compilation, an Efficient Form of Secure Compilation". ACM Transactions on Programming Languages and Systems 43, n.º 1 (abril de 2021): 1–41. http://dx.doi.org/10.1145/3436809.
Texto completoPatrignani, Marco, Pieter Agten, Raoul Strackx, Bart Jacobs, Dave Clarke y Frank Piessens. "Secure Compilation to Protected Module Architectures". ACM Transactions on Programming Languages and Systems 37, n.º 2 (16 de abril de 2015): 1–50. http://dx.doi.org/10.1145/2699503.
Texto completoAbate, Carmine, Roberto Blanco, Ştefan Ciobâcă, Adrien Durier, Deepak Garg, Cătălin Hritţcu, Marco Patrignani, Éric Tanter y Jérémy Thibault. "An Extended Account of Trace-relating Compiler Correctness and Secure Compilation". ACM Transactions on Programming Languages and Systems 43, n.º 4 (31 de diciembre de 2021): 1–48. http://dx.doi.org/10.1145/3460860.
Texto completoAndrici, Cezar-Constantin, Ștefan Ciobâcă, Cătălin Hriţcu, Guido Martínez, Exequiel Rivas, Éric Tanter y Théo Winterhalter. "Securing Verified IO Programs Against Unverified Code in F*". Proceedings of the ACM on Programming Languages 8, POPL (5 de enero de 2024): 2226–59. http://dx.doi.org/10.1145/3632916.
Texto completoBlanton, Marina, Dennis Murphy y Chen Yuan. "Efficiently Compiling Secure Computation Protocols From Passive to Active Security: Beyond Arithmetic Circuits". Proceedings on Privacy Enhancing Technologies 2024, n.º 1 (enero de 2024): 74–97. http://dx.doi.org/10.56553/popets-2024-0006.
Texto completoG, Selvakumar. "A Novel Approach for Remote Compilation using Docker Containers". International Journal of Computer Communication and Informatics 1, n.º 1 (30 de mayo de 2019): 46–51. http://dx.doi.org/10.34256/ijcci1918.
Texto completoJawade, Prashant Balkrishna y S. Ramachandram. "Multi-objective secure task scheduling based on SLA in multi-cloud environment". Multiagent and Grid Systems 18, n.º 1 (23 de mayo de 2022): 65–85. http://dx.doi.org/10.3233/mgs-220362.
Texto completoZhang, Denghui, Lijing Ren y Zhaoquan Gu. "Enhancing the Privacy of Network Services through Trusted Computing". Applied Sciences 12, n.º 18 (14 de septiembre de 2022): 9191. http://dx.doi.org/10.3390/app12189191.
Texto completoRanjan, Nikhil. "Enhancing Voting Security and Efficiency". Journal of Computers, Mechanical and Management 2, n.º 3 (31 de agosto de 2023): 9–15. http://dx.doi.org/10.57159/gadl.jcmm.2.3.23065.
Texto completoTolmach, Andrew y Andrew W. Appel. "A Debugger for Standard ML". Journal of Functional Programming 5, n.º 2 (abril de 1995): 155–200. http://dx.doi.org/10.1017/s0956796800001313.
Texto completoAndersen, Gisle. "Semi-lexical features in corpus transcription". Compilation, transcription, markup and annotation of spoken corpora 21, n.º 3 (19 de septiembre de 2016): 323–47. http://dx.doi.org/10.1075/ijcl.21.3.02and.
Texto completoMartínez Pabón, Francisco Orlando, Jaime Caicedo Guerrero, Rodrigo Hernández Cuenca, Oscar Mauricio Caicedo Rendón y Javier Alexander Hurtado Guaca. "SIM parameter-based security for mobile e-commerce settings". Ingeniería e Investigación 27, n.º 2 (1 de mayo de 2007): 56–64. http://dx.doi.org/10.15446/ing.investig.v27n2.14830.
Texto completoKandiy, S. О. "Analysis of pseudorandom number generation processes in EP CRYSTALS-Dilithium". Radiotekhnika, n.º 213 (16 de junio de 2023): 18–30. http://dx.doi.org/10.30837/rt.2023.2.213.02.
Texto completoBogatyrev, Sergei. "The Patronage of Early Printing in Moscow". Canadian-American Slavic Studies 51, n.º 2-3 (2017): 249–88. http://dx.doi.org/10.1163/22102396-05102016.
Texto completoChmiel, Marta, Mateusz Korona, Fryderyk Kozioł, Krzysztof Szczypiorski y Mariusz Rawski. "Discussion on IoT Security Recommendations against the State-of-the-Art Solutions". Electronics 10, n.º 15 (28 de julio de 2021): 1814. http://dx.doi.org/10.3390/electronics10151814.
Texto completoJha, Sudan, Nishant Jha, Deepak Prashar, Sultan Ahmad, Bader Alouffi y Abdullah Alharbi. "Integrated IoT-Based Secure and Efficient Key Management Framework Using Hashgraphs for Autonomous Vehicles to Ensure Road Safety". Sensors 22, n.º 7 (25 de marzo de 2022): 2529. http://dx.doi.org/10.3390/s22072529.
Texto completoPásztor, L., J. Szabó y Zs Bakacsi. "Application of the Digital Kreybig Soil Information System for the delineation of naturally handicapped areas in Hungary". Agrokémia és Talajtan 59, n.º 1 (1 de junio de 2010): 47–56. http://dx.doi.org/10.1556/agrokem.59.2010.1.6.
Texto completoNazal, Muhammad Asghar, Reza Pulungan y Mardhani Riasetiawan. "Data Integrity and Security using Keccak and Digital Signature Algorithm (DSA)". IJCCS (Indonesian Journal of Computing and Cybernetics Systems) 13, n.º 3 (31 de julio de 2019): 273. http://dx.doi.org/10.22146/ijccs.47267.
Texto completoJacobs, Koen, Dominique Devriese y Amin Timany. "Purity of an ST monad: full abstraction by semantically typed back-translation". Proceedings of the ACM on Programming Languages 6, OOPSLA1 (8 de diciembre de 2022): 1–27. http://dx.doi.org/10.1145/3527326.
Texto completoBrys, Carloa y David Luis La Red Martínez. "GobLin: The GNU/Linux Operating System for Governments". Revista de Investigación en Tecnologías de la Información 10, n.º 22 (diciembre de 2022): 1–14. http://dx.doi.org/10.36825/riti.10.22.001.
Texto completoBaunvig, Katrine F., Krista S. G. Rasmussen, Kristen Vad y Per Møldrup-Dalum. "Storage over Rendition. Call for a Sustainable Infrastructure in the Digital Textual Heritage Sector with a Particular Interest in Digital Scholarly Editions". Digital Humanities in the Nordic and Baltic Countries Publications 5, n.º 1 (10 de octubre de 2023): 240–47. http://dx.doi.org/10.5617/dhnbpub.10667.
Texto completoZayana, Muhammad Rafiq, Iskandar Fitri, Fauziah Fauziah y Aris Gunaryarti. "Penerapan Message Diggest Algorithm MD5 untuk Pengamanan Data Karyawan PT. Swifect Berbasis Desktop". Jurnal JTIK (Jurnal Teknologi Informasi dan Komunikasi) 6, n.º 3 (3 de enero de 2022): 386–94. http://dx.doi.org/10.35870/jtik.v6i3.446.
Texto completoDickey, Timothy J. "RETHINKING THE SIENA CHOIRBOOK: A NEW DATE AND IMPLICATIONS FOR ITS MUSICAL CONTENTS". Early Music History 24 (14 de julio de 2005): 1–52. http://dx.doi.org/10.1017/s0261127905000124.
Texto completoPurwanti, Pudji. "PERILAKU EKONOMI RUMAH TANGGA NELAYAN SKALA KECIL DALAM MENCAPAI KETAHANAN PANGAN DI PEDESAAN PANTAI JAWA TIMUR". Jurnal Sosial Ekonomi Kelautan dan Perikanan 4, n.º 1 (20 de julio de 2017): 31. http://dx.doi.org/10.15578/jsekp.v4i1.5817.
Texto completoAlabdulatif, Abdullah, Navod Neranjan Thilakarathne y Kassim Kalinaki. "A Novel Cloud Enabled Access Control Model for Preserving the Security and Privacy of Medical Big Data". Electronics 12, n.º 12 (13 de junio de 2023): 2646. http://dx.doi.org/10.3390/electronics12122646.
Texto completoBori, Caterina. "Sira Culture, Hadith and the Veneration of Muḥammad in the Later Middle Period: Ibn Nāṣir al-Dīn al-Dimašqī (d. 842/1438) as a Case Study". Arabica 70, n.º 4-5 (14 de noviembre de 2023): 376–435. http://dx.doi.org/10.1163/15700585-20231663.
Texto completoMolina-Venegas, Rafael, Miguel Ángel Rodríguez, Manuel Pardo-de-Santayana y David J. Mabberley. "A global database of plant services for humankind". PLOS ONE 16, n.º 6 (15 de junio de 2021): e0253069. http://dx.doi.org/10.1371/journal.pone.0253069.
Texto completoKelmere, Laila y Ingrīda Jakušonoka. "THE COMPANY'S INSOLVENCY IMPACT ON TAX COLLECTION PROCESS". Science and Studies of Accounting and Finance: Problems and Perspectives 9, n.º 1 (25 de noviembre de 2014): 52–64. http://dx.doi.org/10.15544/ssaf.2014.06.
Texto completoAfrohatul Laili, Afrohatul y Endri Miftahus Sururi. "UPAYA KODIFIKASI HUKUM KEWARISAN SECARA BILATERAL DENGAN POLA DIFERENSIASI DALAM MASYARAKAT PLURALIS". SINDA: Comprehensive Journal of Islamic Social Studies 3, n.º 1 (2 de abril de 2023): 15–24. http://dx.doi.org/10.28926/sinda.v3i1.728.
Texto completoPurkon, Arip. "Problems of Islamic Law Compilation In Indonesia". SALAM: Jurnal Sosial dan Budaya Syar-i 5, n.º 2 (13 de agosto de 2018): 91–98. http://dx.doi.org/10.15408/sjsbs.v5i2.9406.
Texto completoPopov, A. A. "Digitalization of Ensuring Metrological Traceability of Measuring Instruments and Reference Materials through Cloud-Based Technologies: Current State and Development Prospects". Measurement Standards. Reference Materials 18, n.º 3 (30 de diciembre de 2022): 57–70. http://dx.doi.org/10.20915/2077-1177-2022-18-3-57-70.
Texto completoDopp, Alex R., Marie-Rachelle Narcisse, Peter Mundey, Jane F. Silovsky, Allison B. Smith, David Mandell, Beverly W. Funderburk et al. "A scoping review of strategies for financing the implementation of evidence-based practices in behavioral health systems: State of the literature and future directions". Implementation Research and Practice 1 (enero de 2020): 263348952093998. http://dx.doi.org/10.1177/2633489520939980.
Texto completoKauffman, Laurie, Erin Ehmke, Steven Schet, Arioene Vreedzaam y Sue Boinski. "Dispersal patterns among three species of squirrel monkeys (Saimiri oerstedii, S. boliviensis and S. sciureus): I. Divergent costs and benefits". Behaviour 142, n.º 5 (2005): 525–632. http://dx.doi.org/10.1163/1568539054352888.
Texto completoNurwakhidah, Ana. "MANAJEMEN INFAQ SECARA SEKTORAL DI BAITUL MAAL HIDAYATULLAH (BMH) CABANG MALANG". Ar-Risalah: Media Keislaman, Pendidikan dan Hukum Islam 17, n.º 1 (12 de abril de 2019): 1. http://dx.doi.org/10.29062/arrisalah.v17i1.214.
Texto completoRomdhon, Muhammad Rizqi. "Kajian Tafsir Nusantara Terhadap Hukum Perkawinan Beda Agama Menurut Kompilasi Hukum Islam Indonesia". Al-Dzikra: Jurnal Studi Ilmu al-Qur'an dan al-Hadits 16, n.º 2 (31 de diciembre de 2022): 189–218. http://dx.doi.org/10.24042/al-dzikra.v16i2.12777.
Texto completoAbid, H., Nandang Kusnadi, Yenny Febrianty y Chairijah . "PENERAPAN TEORI KEADILAN PADA KEWARISAN ANAK ZINA". PALAR | PAKUAN LAW REVIEW 8, n.º 1 (12 de enero de 2022): 144–53. http://dx.doi.org/10.33751/palar.v8i1.4685.
Texto completoDarlis, Syamsul. "MARRIAGE FOR COVERING DISGRACE: The Practice of Kawi' Pura Tradition in the East Kolaka Muslim Society". Al-Ahwal: Jurnal Hukum Keluarga Islam 15, n.º 1 (30 de junio de 2022): 21. http://dx.doi.org/10.14421/ahwal.2022.15102.
Texto completoRistian, Ika. "PASAL-PASAL NUSYUZ ISTRI DALAM KOMPILASI HUKUM ISLAM DAN KEKERASAN DALAM RUMAH TANGGA". Jurnal Al-Hakim: Jurnal Ilmiah Mahasiswa, Studi Syariah, Hukum dan Filantropi 2, n.º 2 (28 de septiembre de 2020): 55–62. http://dx.doi.org/10.22515/alhakim.v2i2.2787.
Texto completoHafidzi, Anwar. "Prasyarat Poligami Dalam Kitab Fiqih Islam Dan Kompilasi Hukum Islam Perspektif Maslahah Mursalah". Al-Daulah: Jurnal Hukum dan Perundangan Islam 7, n.º 2 (10 de enero de 2018): 366–92. http://dx.doi.org/10.15642/ad.2017.7.2.366-392.
Texto completoEndry, Endry, Muhammad Torik y Bitoh Purnomo. "Pemanfaatan Sawah Warisan Secara Bergilir Menurut Hukum Islam dan Hukum Adat". Muqaranah 7, n.º 2 (26 de diciembre de 2023): 139–48. http://dx.doi.org/10.19109/muqaranah.v7i2.19581.
Texto completoHusien, Syarief y Akhmad Khisni. "Hukum Waris Islam Di Indonesia (Studi Perkembangan Hukum Kewarisan Dalam Kompilasi Hukum Islam Dan Praktek Di Pengadilan Agama )". Jurnal Akta 5, n.º 1 (5 de marzo de 2017): 75. http://dx.doi.org/10.30659/akta.v5i1.2533.
Texto completoPurnama, Arif Sadikin, Matfa Kresna Maarifarsyah, Putri Rahayu Nengsih, Dewi Desiana, Yusuf Guntur Hari Putra y Gita Anggraini. "Pendidikan Karakter Melalui Seni Teater Berbasis Kearifan Lokal Secara Daring untuk Anak-Anak Kampung Kumuh Pasar Keramat". ABDIMAS: Jurnal Pengabdian Masyarakat 3, n.º 2 (30 de octubre de 2020): 351–59. http://dx.doi.org/10.35568/abdimas.v3i2.971.
Texto completoSaniah, Saniah y Syahib Natarsyah. "MODEL APLIKASI PEMBAGIAN HARTA WARISAN BERDASARKAN KOMPILASI HUKUM ISLAM BERBASIS WEB". Jutisi : Jurnal Ilmiah Teknik Informatika dan Sistem Informasi 9, n.º 3 (27 de enero de 2021): 181. http://dx.doi.org/10.35889/jutisi.v9i3.557.
Texto completoMusa, Musa. "Ahli Waris Pengganti Dalam Tinjauan Kompilasi Hukum Islam Dan Hukum Perdata". Isti`dal : Jurnal Studi Hukum Islam 7, n.º 1 (2 de noviembre de 2021): 53–78. http://dx.doi.org/10.34001/istidal.v7i1.2154.
Texto completoRusmono y Wisnu Djatmiko. "Penyusunan Bahan Pembelajaran Kompilasi Bagi Pengajar di SMK Negeri 1 Cibinong, Bogor Jawa Barat". Sarwahita 19, n.º 01 (5 de enero de 2022): 12–20. http://dx.doi.org/10.21009/sarwahita.191.2.
Texto completoMu’in, Fathul, Faisal Faisal, Arif Fikri, Habib Shulton Asnawi y M. Anwar Nawawi. "THE PRACTICE OF SUBSTITUTE HAIRS IN INDONESIAN RELIGIOUS COURT: Restricted Interpretation". Al-Ahwal: Jurnal Hukum Keluarga Islam 16, n.º 1 (30 de junio de 2023): 141. http://dx.doi.org/10.14421/ahwal.2023.16107.
Texto completoMustamiin, Muhamad, Adi Suheryadi y Alifia Puspaningrum. "PENERAPAN SISTEM EVALUASI PEMBELAJARAN PEMROGRAMAN TERINTEGRASI DENGAN ONLINE JUDGE DI SMK". JURNAL PEKAMAS 2, n.º 2 (23 de diciembre de 2022): 61–67. http://dx.doi.org/10.46961/jpk.v2i2.636.
Texto completoShivakumar, Dr Sumathi. "Eternalising Cultural Memory Through Cultural Parallels in Literary Narratives". IJOHMN (International Journal online of Humanities) 3, n.º 4 (15 de agosto de 2017): 65–74. http://dx.doi.org/10.24113/ijohmn.v3i4.34.
Texto completo