Articles de revues sur le sujet « Secure Compilation »
Créez une référence correcte selon les styles APA, MLA, Chicago, Harvard et plusieurs autres
Consultez les 50 meilleurs articles de revues pour votre recherche sur le sujet « Secure Compilation ».
À côté de chaque source dans la liste de références il y a un bouton « Ajouter à la bibliographie ». Cliquez sur ce bouton, et nous générerons automatiquement la référence bibliographique pour la source choisie selon votre style de citation préféré : APA, MLA, Harvard, Vancouver, Chicago, etc.
Vous pouvez aussi télécharger le texte intégral de la publication scolaire au format pdf et consulter son résumé en ligne lorsque ces informations sont inclues dans les métadonnées.
Parcourez les articles de revues sur diverses disciplines et organisez correctement votre bibliographie.
Vu, Son Tuan, Albert Cohen, Arnaud De Grandmaison, Christophe Guillon et Karine Heydemann. « Reconciling optimization with secure compilation ». Proceedings of the ACM on Programming Languages 5, OOPSLA (20 octobre 2021) : 1–30. http://dx.doi.org/10.1145/3485519.
Texte intégralPatrignani, Marco, Amal Ahmed et Dave Clarke. « Formal Approaches to Secure Compilation ». ACM Computing Surveys 51, no 6 (27 février 2019) : 1–36. http://dx.doi.org/10.1145/3280984.
Texte intégralPatrignani, Marco, et Deepak Garg. « Robustly Safe Compilation, an Efficient Form of Secure Compilation ». ACM Transactions on Programming Languages and Systems 43, no 1 (avril 2021) : 1–41. http://dx.doi.org/10.1145/3436809.
Texte intégralPatrignani, Marco, Pieter Agten, Raoul Strackx, Bart Jacobs, Dave Clarke et Frank Piessens. « Secure Compilation to Protected Module Architectures ». ACM Transactions on Programming Languages and Systems 37, no 2 (16 avril 2015) : 1–50. http://dx.doi.org/10.1145/2699503.
Texte intégralAbate, Carmine, Roberto Blanco, Ştefan Ciobâcă, Adrien Durier, Deepak Garg, Cătălin Hritţcu, Marco Patrignani, Éric Tanter et Jérémy Thibault. « An Extended Account of Trace-relating Compiler Correctness and Secure Compilation ». ACM Transactions on Programming Languages and Systems 43, no 4 (31 décembre 2021) : 1–48. http://dx.doi.org/10.1145/3460860.
Texte intégralAndrici, Cezar-Constantin, Ștefan Ciobâcă, Cătălin Hriţcu, Guido Martínez, Exequiel Rivas, Éric Tanter et Théo Winterhalter. « Securing Verified IO Programs Against Unverified Code in F* ». Proceedings of the ACM on Programming Languages 8, POPL (5 janvier 2024) : 2226–59. http://dx.doi.org/10.1145/3632916.
Texte intégralBlanton, Marina, Dennis Murphy et Chen Yuan. « Efficiently Compiling Secure Computation Protocols From Passive to Active Security : Beyond Arithmetic Circuits ». Proceedings on Privacy Enhancing Technologies 2024, no 1 (janvier 2024) : 74–97. http://dx.doi.org/10.56553/popets-2024-0006.
Texte intégralG, Selvakumar. « A Novel Approach for Remote Compilation using Docker Containers ». International Journal of Computer Communication and Informatics 1, no 1 (30 mai 2019) : 46–51. http://dx.doi.org/10.34256/ijcci1918.
Texte intégralJawade, Prashant Balkrishna, et S. Ramachandram. « Multi-objective secure task scheduling based on SLA in multi-cloud environment ». Multiagent and Grid Systems 18, no 1 (23 mai 2022) : 65–85. http://dx.doi.org/10.3233/mgs-220362.
Texte intégralZhang, Denghui, Lijing Ren et Zhaoquan Gu. « Enhancing the Privacy of Network Services through Trusted Computing ». Applied Sciences 12, no 18 (14 septembre 2022) : 9191. http://dx.doi.org/10.3390/app12189191.
Texte intégralRanjan, Nikhil. « Enhancing Voting Security and Efficiency ». Journal of Computers, Mechanical and Management 2, no 3 (31 août 2023) : 9–15. http://dx.doi.org/10.57159/gadl.jcmm.2.3.23065.
Texte intégralTolmach, Andrew, et Andrew W. Appel. « A Debugger for Standard ML ». Journal of Functional Programming 5, no 2 (avril 1995) : 155–200. http://dx.doi.org/10.1017/s0956796800001313.
Texte intégralAndersen, Gisle. « Semi-lexical features in corpus transcription ». Compilation, transcription, markup and annotation of spoken corpora 21, no 3 (19 septembre 2016) : 323–47. http://dx.doi.org/10.1075/ijcl.21.3.02and.
Texte intégralMartínez Pabón, Francisco Orlando, Jaime Caicedo Guerrero, Rodrigo Hernández Cuenca, Oscar Mauricio Caicedo Rendón et Javier Alexander Hurtado Guaca. « SIM parameter-based security for mobile e-commerce settings ». Ingeniería e Investigación 27, no 2 (1 mai 2007) : 56–64. http://dx.doi.org/10.15446/ing.investig.v27n2.14830.
Texte intégralKandiy, S. О. « Analysis of pseudorandom number generation processes in EP CRYSTALS-Dilithium ». Radiotekhnika, no 213 (16 juin 2023) : 18–30. http://dx.doi.org/10.30837/rt.2023.2.213.02.
Texte intégralBogatyrev, Sergei. « The Patronage of Early Printing in Moscow ». Canadian-American Slavic Studies 51, no 2-3 (2017) : 249–88. http://dx.doi.org/10.1163/22102396-05102016.
Texte intégralChmiel, Marta, Mateusz Korona, Fryderyk Kozioł, Krzysztof Szczypiorski et Mariusz Rawski. « Discussion on IoT Security Recommendations against the State-of-the-Art Solutions ». Electronics 10, no 15 (28 juillet 2021) : 1814. http://dx.doi.org/10.3390/electronics10151814.
Texte intégralJha, Sudan, Nishant Jha, Deepak Prashar, Sultan Ahmad, Bader Alouffi et Abdullah Alharbi. « Integrated IoT-Based Secure and Efficient Key Management Framework Using Hashgraphs for Autonomous Vehicles to Ensure Road Safety ». Sensors 22, no 7 (25 mars 2022) : 2529. http://dx.doi.org/10.3390/s22072529.
Texte intégralPásztor, L., J. Szabó et Zs Bakacsi. « Application of the Digital Kreybig Soil Information System for the delineation of naturally handicapped areas in Hungary ». Agrokémia és Talajtan 59, no 1 (1 juin 2010) : 47–56. http://dx.doi.org/10.1556/agrokem.59.2010.1.6.
Texte intégralNazal, Muhammad Asghar, Reza Pulungan et Mardhani Riasetiawan. « Data Integrity and Security using Keccak and Digital Signature Algorithm (DSA) ». IJCCS (Indonesian Journal of Computing and Cybernetics Systems) 13, no 3 (31 juillet 2019) : 273. http://dx.doi.org/10.22146/ijccs.47267.
Texte intégralJacobs, Koen, Dominique Devriese et Amin Timany. « Purity of an ST monad : full abstraction by semantically typed back-translation ». Proceedings of the ACM on Programming Languages 6, OOPSLA1 (8 décembre 2022) : 1–27. http://dx.doi.org/10.1145/3527326.
Texte intégralBrys, Carloa, et 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, no 22 (décembre 2022) : 1–14. http://dx.doi.org/10.36825/riti.10.22.001.
Texte intégralBaunvig, Katrine F., Krista S. G. Rasmussen, Kristen Vad et 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, no 1 (10 octobre 2023) : 240–47. http://dx.doi.org/10.5617/dhnbpub.10667.
Texte intégralZayana, Muhammad Rafiq, Iskandar Fitri, Fauziah Fauziah et Aris Gunaryarti. « Penerapan Message Diggest Algorithm MD5 untuk Pengamanan Data Karyawan PT. Swifect Berbasis Desktop ». Jurnal JTIK (Jurnal Teknologi Informasi dan Komunikasi) 6, no 3 (3 janvier 2022) : 386–94. http://dx.doi.org/10.35870/jtik.v6i3.446.
Texte intégralDickey, Timothy J. « RETHINKING THE SIENA CHOIRBOOK : A NEW DATE AND IMPLICATIONS FOR ITS MUSICAL CONTENTS ». Early Music History 24 (14 juillet 2005) : 1–52. http://dx.doi.org/10.1017/s0261127905000124.
Texte intégralPurwanti, Pudji. « PERILAKU EKONOMI RUMAH TANGGA NELAYAN SKALA KECIL DALAM MENCAPAI KETAHANAN PANGAN DI PEDESAAN PANTAI JAWA TIMUR ». Jurnal Sosial Ekonomi Kelautan dan Perikanan 4, no 1 (20 juillet 2017) : 31. http://dx.doi.org/10.15578/jsekp.v4i1.5817.
Texte intégralAlabdulatif, Abdullah, Navod Neranjan Thilakarathne et Kassim Kalinaki. « A Novel Cloud Enabled Access Control Model for Preserving the Security and Privacy of Medical Big Data ». Electronics 12, no 12 (13 juin 2023) : 2646. http://dx.doi.org/10.3390/electronics12122646.
Texte intégralBori, 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, no 4-5 (14 novembre 2023) : 376–435. http://dx.doi.org/10.1163/15700585-20231663.
Texte intégralMolina-Venegas, Rafael, Miguel Ángel Rodríguez, Manuel Pardo-de-Santayana et David J. Mabberley. « A global database of plant services for humankind ». PLOS ONE 16, no 6 (15 juin 2021) : e0253069. http://dx.doi.org/10.1371/journal.pone.0253069.
Texte intégralKelmere, Laila, et Ingrīda Jakušonoka. « THE COMPANY'S INSOLVENCY IMPACT ON TAX COLLECTION PROCESS ». Science and Studies of Accounting and Finance : Problems and Perspectives 9, no 1 (25 novembre 2014) : 52–64. http://dx.doi.org/10.15544/ssaf.2014.06.
Texte intégralAfrohatul Laili, Afrohatul, et Endri Miftahus Sururi. « UPAYA KODIFIKASI HUKUM KEWARISAN SECARA BILATERAL DENGAN POLA DIFERENSIASI DALAM MASYARAKAT PLURALIS ». SINDA : Comprehensive Journal of Islamic Social Studies 3, no 1 (2 avril 2023) : 15–24. http://dx.doi.org/10.28926/sinda.v3i1.728.
Texte intégralPurkon, Arip. « Problems of Islamic Law Compilation In Indonesia ». SALAM : Jurnal Sosial dan Budaya Syar-i 5, no 2 (13 août 2018) : 91–98. http://dx.doi.org/10.15408/sjsbs.v5i2.9406.
Texte intégralPopov, 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, no 3 (30 décembre 2022) : 57–70. http://dx.doi.org/10.20915/2077-1177-2022-18-3-57-70.
Texte intégralDopp, 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 (janvier 2020) : 263348952093998. http://dx.doi.org/10.1177/2633489520939980.
Texte intégralKauffman, Laurie, Erin Ehmke, Steven Schet, Arioene Vreedzaam et Sue Boinski. « Dispersal patterns among three species of squirrel monkeys (Saimiri oerstedii, S. boliviensis and S. sciureus) : I. Divergent costs and benefits ». Behaviour 142, no 5 (2005) : 525–632. http://dx.doi.org/10.1163/1568539054352888.
Texte intégralNurwakhidah, Ana. « MANAJEMEN INFAQ SECARA SEKTORAL DI BAITUL MAAL HIDAYATULLAH (BMH) CABANG MALANG ». Ar-Risalah : Media Keislaman, Pendidikan dan Hukum Islam 17, no 1 (12 avril 2019) : 1. http://dx.doi.org/10.29062/arrisalah.v17i1.214.
Texte intégralRomdhon, 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, no 2 (31 décembre 2022) : 189–218. http://dx.doi.org/10.24042/al-dzikra.v16i2.12777.
Texte intégralAbid, H., Nandang Kusnadi, Yenny Febrianty et Chairijah . « PENERAPAN TEORI KEADILAN PADA KEWARISAN ANAK ZINA ». PALAR | PAKUAN LAW REVIEW 8, no 1 (12 janvier 2022) : 144–53. http://dx.doi.org/10.33751/palar.v8i1.4685.
Texte intégralDarlis, Syamsul. « MARRIAGE FOR COVERING DISGRACE : The Practice of Kawi' Pura Tradition in the East Kolaka Muslim Society ». Al-Ahwal : Jurnal Hukum Keluarga Islam 15, no 1 (30 juin 2022) : 21. http://dx.doi.org/10.14421/ahwal.2022.15102.
Texte intégralRistian, 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, no 2 (28 septembre 2020) : 55–62. http://dx.doi.org/10.22515/alhakim.v2i2.2787.
Texte intégralHafidzi, Anwar. « Prasyarat Poligami Dalam Kitab Fiqih Islam Dan Kompilasi Hukum Islam Perspektif Maslahah Mursalah ». Al-Daulah : Jurnal Hukum dan Perundangan Islam 7, no 2 (10 janvier 2018) : 366–92. http://dx.doi.org/10.15642/ad.2017.7.2.366-392.
Texte intégralEndry, Endry, Muhammad Torik et Bitoh Purnomo. « Pemanfaatan Sawah Warisan Secara Bergilir Menurut Hukum Islam dan Hukum Adat ». Muqaranah 7, no 2 (26 décembre 2023) : 139–48. http://dx.doi.org/10.19109/muqaranah.v7i2.19581.
Texte intégralHusien, Syarief, et Akhmad Khisni. « Hukum Waris Islam Di Indonesia (Studi Perkembangan Hukum Kewarisan Dalam Kompilasi Hukum Islam Dan Praktek Di Pengadilan Agama ) ». Jurnal Akta 5, no 1 (5 mars 2017) : 75. http://dx.doi.org/10.30659/akta.v5i1.2533.
Texte intégralPurnama, Arif Sadikin, Matfa Kresna Maarifarsyah, Putri Rahayu Nengsih, Dewi Desiana, Yusuf Guntur Hari Putra et Gita Anggraini. « Pendidikan Karakter Melalui Seni Teater Berbasis Kearifan Lokal Secara Daring untuk Anak-Anak Kampung Kumuh Pasar Keramat ». ABDIMAS : Jurnal Pengabdian Masyarakat 3, no 2 (30 octobre 2020) : 351–59. http://dx.doi.org/10.35568/abdimas.v3i2.971.
Texte intégralSaniah, Saniah, et Syahib Natarsyah. « MODEL APLIKASI PEMBAGIAN HARTA WARISAN BERDASARKAN KOMPILASI HUKUM ISLAM BERBASIS WEB ». Jutisi : Jurnal Ilmiah Teknik Informatika dan Sistem Informasi 9, no 3 (27 janvier 2021) : 181. http://dx.doi.org/10.35889/jutisi.v9i3.557.
Texte intégralMusa, Musa. « Ahli Waris Pengganti Dalam Tinjauan Kompilasi Hukum Islam Dan Hukum Perdata ». Isti`dal : Jurnal Studi Hukum Islam 7, no 1 (2 novembre 2021) : 53–78. http://dx.doi.org/10.34001/istidal.v7i1.2154.
Texte intégralRusmono et Wisnu Djatmiko. « Penyusunan Bahan Pembelajaran Kompilasi Bagi Pengajar di SMK Negeri 1 Cibinong, Bogor Jawa Barat ». Sarwahita 19, no 01 (5 janvier 2022) : 12–20. http://dx.doi.org/10.21009/sarwahita.191.2.
Texte intégralMu’in, Fathul, Faisal Faisal, Arif Fikri, Habib Shulton Asnawi et M. Anwar Nawawi. « THE PRACTICE OF SUBSTITUTE HAIRS IN INDONESIAN RELIGIOUS COURT : Restricted Interpretation ». Al-Ahwal : Jurnal Hukum Keluarga Islam 16, no 1 (30 juin 2023) : 141. http://dx.doi.org/10.14421/ahwal.2023.16107.
Texte intégralMustamiin, Muhamad, Adi Suheryadi et Alifia Puspaningrum. « PENERAPAN SISTEM EVALUASI PEMBELAJARAN PEMROGRAMAN TERINTEGRASI DENGAN ONLINE JUDGE DI SMK ». JURNAL PEKAMAS 2, no 2 (23 décembre 2022) : 61–67. http://dx.doi.org/10.46961/jpk.v2i2.636.
Texte intégralShivakumar, Dr Sumathi. « Eternalising Cultural Memory Through Cultural Parallels in Literary Narratives ». IJOHMN (International Journal online of Humanities) 3, no 4 (15 août 2017) : 65–74. http://dx.doi.org/10.24113/ijohmn.v3i4.34.
Texte intégral