Artykuły w czasopismach na temat „Secure Compilation”
Utwórz poprawne odniesienie w stylach APA, MLA, Chicago, Harvard i wielu innych
Sprawdź 50 najlepszych artykułów w czasopismach naukowych na temat „Secure Compilation”.
Przycisk „Dodaj do bibliografii” jest dostępny obok każdej pracy w bibliografii. Użyj go – a my automatycznie utworzymy odniesienie bibliograficzne do wybranej pracy w stylu cytowania, którego potrzebujesz: APA, MLA, Harvard, Chicago, Vancouver itp.
Możesz również pobrać pełny tekst publikacji naukowej w formacie „.pdf” i przeczytać adnotację do pracy online, jeśli odpowiednie parametry są dostępne w metadanych.
Przeglądaj artykuły w czasopismach z różnych dziedzin i twórz odpowiednie bibliografie.
Vu, Son Tuan, Albert Cohen, Arnaud De Grandmaison, Christophe Guillon i Karine Heydemann. "Reconciling optimization with secure compilation". Proceedings of the ACM on Programming Languages 5, OOPSLA (20.10.2021): 1–30. http://dx.doi.org/10.1145/3485519.
Pełny tekst źródłaPatrignani, Marco, Amal Ahmed i Dave Clarke. "Formal Approaches to Secure Compilation". ACM Computing Surveys 51, nr 6 (27.02.2019): 1–36. http://dx.doi.org/10.1145/3280984.
Pełny tekst źródłaPatrignani, Marco, i Deepak Garg. "Robustly Safe Compilation, an Efficient Form of Secure Compilation". ACM Transactions on Programming Languages and Systems 43, nr 1 (kwiecień 2021): 1–41. http://dx.doi.org/10.1145/3436809.
Pełny tekst źródłaPatrignani, Marco, Pieter Agten, Raoul Strackx, Bart Jacobs, Dave Clarke i Frank Piessens. "Secure Compilation to Protected Module Architectures". ACM Transactions on Programming Languages and Systems 37, nr 2 (16.04.2015): 1–50. http://dx.doi.org/10.1145/2699503.
Pełny tekst źródłaAbate, Carmine, Roberto Blanco, Ştefan Ciobâcă, Adrien Durier, Deepak Garg, Cătălin Hritţcu, Marco Patrignani, Éric Tanter i Jérémy Thibault. "An Extended Account of Trace-relating Compiler Correctness and Secure Compilation". ACM Transactions on Programming Languages and Systems 43, nr 4 (31.12.2021): 1–48. http://dx.doi.org/10.1145/3460860.
Pełny tekst źródłaAndrici, Cezar-Constantin, Ștefan Ciobâcă, Cătălin Hriţcu, Guido Martínez, Exequiel Rivas, Éric Tanter i Théo Winterhalter. "Securing Verified IO Programs Against Unverified Code in F*". Proceedings of the ACM on Programming Languages 8, POPL (5.01.2024): 2226–59. http://dx.doi.org/10.1145/3632916.
Pełny tekst źródłaBlanton, Marina, Dennis Murphy i Chen Yuan. "Efficiently Compiling Secure Computation Protocols From Passive to Active Security: Beyond Arithmetic Circuits". Proceedings on Privacy Enhancing Technologies 2024, nr 1 (styczeń 2024): 74–97. http://dx.doi.org/10.56553/popets-2024-0006.
Pełny tekst źródłaG, Selvakumar. "A Novel Approach for Remote Compilation using Docker Containers". International Journal of Computer Communication and Informatics 1, nr 1 (30.05.2019): 46–51. http://dx.doi.org/10.34256/ijcci1918.
Pełny tekst źródłaJawade, Prashant Balkrishna, i S. Ramachandram. "Multi-objective secure task scheduling based on SLA in multi-cloud environment". Multiagent and Grid Systems 18, nr 1 (23.05.2022): 65–85. http://dx.doi.org/10.3233/mgs-220362.
Pełny tekst źródłaZhang, Denghui, Lijing Ren i Zhaoquan Gu. "Enhancing the Privacy of Network Services through Trusted Computing". Applied Sciences 12, nr 18 (14.09.2022): 9191. http://dx.doi.org/10.3390/app12189191.
Pełny tekst źródłaRanjan, Nikhil. "Enhancing Voting Security and Efficiency". Journal of Computers, Mechanical and Management 2, nr 3 (31.08.2023): 9–15. http://dx.doi.org/10.57159/gadl.jcmm.2.3.23065.
Pełny tekst źródłaTolmach, Andrew, i Andrew W. Appel. "A Debugger for Standard ML". Journal of Functional Programming 5, nr 2 (kwiecień 1995): 155–200. http://dx.doi.org/10.1017/s0956796800001313.
Pełny tekst źródłaAndersen, Gisle. "Semi-lexical features in corpus transcription". Compilation, transcription, markup and annotation of spoken corpora 21, nr 3 (19.09.2016): 323–47. http://dx.doi.org/10.1075/ijcl.21.3.02and.
Pełny tekst źródłaMartínez Pabón, Francisco Orlando, Jaime Caicedo Guerrero, Rodrigo Hernández Cuenca, Oscar Mauricio Caicedo Rendón i Javier Alexander Hurtado Guaca. "SIM parameter-based security for mobile e-commerce settings". Ingeniería e Investigación 27, nr 2 (1.05.2007): 56–64. http://dx.doi.org/10.15446/ing.investig.v27n2.14830.
Pełny tekst źródłaKandiy, S. О. "Analysis of pseudorandom number generation processes in EP CRYSTALS-Dilithium". Radiotekhnika, nr 213 (16.06.2023): 18–30. http://dx.doi.org/10.30837/rt.2023.2.213.02.
Pełny tekst źródłaBogatyrev, Sergei. "The Patronage of Early Printing in Moscow". Canadian-American Slavic Studies 51, nr 2-3 (2017): 249–88. http://dx.doi.org/10.1163/22102396-05102016.
Pełny tekst źródłaChmiel, Marta, Mateusz Korona, Fryderyk Kozioł, Krzysztof Szczypiorski i Mariusz Rawski. "Discussion on IoT Security Recommendations against the State-of-the-Art Solutions". Electronics 10, nr 15 (28.07.2021): 1814. http://dx.doi.org/10.3390/electronics10151814.
Pełny tekst źródłaJha, Sudan, Nishant Jha, Deepak Prashar, Sultan Ahmad, Bader Alouffi i Abdullah Alharbi. "Integrated IoT-Based Secure and Efficient Key Management Framework Using Hashgraphs for Autonomous Vehicles to Ensure Road Safety". Sensors 22, nr 7 (25.03.2022): 2529. http://dx.doi.org/10.3390/s22072529.
Pełny tekst źródłaPásztor, L., J. Szabó i Zs Bakacsi. "Application of the Digital Kreybig Soil Information System for the delineation of naturally handicapped areas in Hungary". Agrokémia és Talajtan 59, nr 1 (1.06.2010): 47–56. http://dx.doi.org/10.1556/agrokem.59.2010.1.6.
Pełny tekst źródłaNazal, Muhammad Asghar, Reza Pulungan i Mardhani Riasetiawan. "Data Integrity and Security using Keccak and Digital Signature Algorithm (DSA)". IJCCS (Indonesian Journal of Computing and Cybernetics Systems) 13, nr 3 (31.07.2019): 273. http://dx.doi.org/10.22146/ijccs.47267.
Pełny tekst źródłaJacobs, Koen, Dominique Devriese i Amin Timany. "Purity of an ST monad: full abstraction by semantically typed back-translation". Proceedings of the ACM on Programming Languages 6, OOPSLA1 (8.12.2022): 1–27. http://dx.doi.org/10.1145/3527326.
Pełny tekst źródłaBrys, Carloa, i 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, nr 22 (grudzień 2022): 1–14. http://dx.doi.org/10.36825/riti.10.22.001.
Pełny tekst źródłaBaunvig, Katrine F., Krista S. G. Rasmussen, Kristen Vad i 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, nr 1 (10.10.2023): 240–47. http://dx.doi.org/10.5617/dhnbpub.10667.
Pełny tekst źródłaZayana, Muhammad Rafiq, Iskandar Fitri, Fauziah Fauziah i Aris Gunaryarti. "Penerapan Message Diggest Algorithm MD5 untuk Pengamanan Data Karyawan PT. Swifect Berbasis Desktop". Jurnal JTIK (Jurnal Teknologi Informasi dan Komunikasi) 6, nr 3 (3.01.2022): 386–94. http://dx.doi.org/10.35870/jtik.v6i3.446.
Pełny tekst źródłaDickey, Timothy J. "RETHINKING THE SIENA CHOIRBOOK: A NEW DATE AND IMPLICATIONS FOR ITS MUSICAL CONTENTS". Early Music History 24 (14.07.2005): 1–52. http://dx.doi.org/10.1017/s0261127905000124.
Pełny tekst źródłaPurwanti, Pudji. "PERILAKU EKONOMI RUMAH TANGGA NELAYAN SKALA KECIL DALAM MENCAPAI KETAHANAN PANGAN DI PEDESAAN PANTAI JAWA TIMUR". Jurnal Sosial Ekonomi Kelautan dan Perikanan 4, nr 1 (20.07.2017): 31. http://dx.doi.org/10.15578/jsekp.v4i1.5817.
Pełny tekst źródłaAlabdulatif, Abdullah, Navod Neranjan Thilakarathne i Kassim Kalinaki. "A Novel Cloud Enabled Access Control Model for Preserving the Security and Privacy of Medical Big Data". Electronics 12, nr 12 (13.06.2023): 2646. http://dx.doi.org/10.3390/electronics12122646.
Pełny tekst źródłaBori, 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, nr 4-5 (14.11.2023): 376–435. http://dx.doi.org/10.1163/15700585-20231663.
Pełny tekst źródłaMolina-Venegas, Rafael, Miguel Ángel Rodríguez, Manuel Pardo-de-Santayana i David J. Mabberley. "A global database of plant services for humankind". PLOS ONE 16, nr 6 (15.06.2021): e0253069. http://dx.doi.org/10.1371/journal.pone.0253069.
Pełny tekst źródłaKelmere, Laila, i Ingrīda Jakušonoka. "THE COMPANY'S INSOLVENCY IMPACT ON TAX COLLECTION PROCESS". Science and Studies of Accounting and Finance: Problems and Perspectives 9, nr 1 (25.11.2014): 52–64. http://dx.doi.org/10.15544/ssaf.2014.06.
Pełny tekst źródłaAfrohatul Laili, Afrohatul, i Endri Miftahus Sururi. "UPAYA KODIFIKASI HUKUM KEWARISAN SECARA BILATERAL DENGAN POLA DIFERENSIASI DALAM MASYARAKAT PLURALIS". SINDA: Comprehensive Journal of Islamic Social Studies 3, nr 1 (2.04.2023): 15–24. http://dx.doi.org/10.28926/sinda.v3i1.728.
Pełny tekst źródłaPurkon, Arip. "Problems of Islamic Law Compilation In Indonesia". SALAM: Jurnal Sosial dan Budaya Syar-i 5, nr 2 (13.08.2018): 91–98. http://dx.doi.org/10.15408/sjsbs.v5i2.9406.
Pełny tekst źródłaPopov, 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, nr 3 (30.12.2022): 57–70. http://dx.doi.org/10.20915/2077-1177-2022-18-3-57-70.
Pełny tekst źródłaDopp, Alex R., Marie-Rachelle Narcisse, Peter Mundey, Jane F. Silovsky, Allison B. Smith, David Mandell, Beverly W. Funderburk i in. "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 (styczeń 2020): 263348952093998. http://dx.doi.org/10.1177/2633489520939980.
Pełny tekst źródłaKauffman, Laurie, Erin Ehmke, Steven Schet, Arioene Vreedzaam i Sue Boinski. "Dispersal patterns among three species of squirrel monkeys (Saimiri oerstedii, S. boliviensis and S. sciureus): I. Divergent costs and benefits". Behaviour 142, nr 5 (2005): 525–632. http://dx.doi.org/10.1163/1568539054352888.
Pełny tekst źródłaNurwakhidah, Ana. "MANAJEMEN INFAQ SECARA SEKTORAL DI BAITUL MAAL HIDAYATULLAH (BMH) CABANG MALANG". Ar-Risalah: Media Keislaman, Pendidikan dan Hukum Islam 17, nr 1 (12.04.2019): 1. http://dx.doi.org/10.29062/arrisalah.v17i1.214.
Pełny tekst źródłaRomdhon, 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, nr 2 (31.12.2022): 189–218. http://dx.doi.org/10.24042/al-dzikra.v16i2.12777.
Pełny tekst źródłaAbid, H., Nandang Kusnadi, Yenny Febrianty i Chairijah . "PENERAPAN TEORI KEADILAN PADA KEWARISAN ANAK ZINA". PALAR | PAKUAN LAW REVIEW 8, nr 1 (12.01.2022): 144–53. http://dx.doi.org/10.33751/palar.v8i1.4685.
Pełny tekst źródłaDarlis, Syamsul. "MARRIAGE FOR COVERING DISGRACE: The Practice of Kawi' Pura Tradition in the East Kolaka Muslim Society". Al-Ahwal: Jurnal Hukum Keluarga Islam 15, nr 1 (30.06.2022): 21. http://dx.doi.org/10.14421/ahwal.2022.15102.
Pełny tekst źródłaRistian, 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, nr 2 (28.09.2020): 55–62. http://dx.doi.org/10.22515/alhakim.v2i2.2787.
Pełny tekst źródłaHafidzi, Anwar. "Prasyarat Poligami Dalam Kitab Fiqih Islam Dan Kompilasi Hukum Islam Perspektif Maslahah Mursalah". Al-Daulah: Jurnal Hukum dan Perundangan Islam 7, nr 2 (10.01.2018): 366–92. http://dx.doi.org/10.15642/ad.2017.7.2.366-392.
Pełny tekst źródłaEndry, Endry, Muhammad Torik i Bitoh Purnomo. "Pemanfaatan Sawah Warisan Secara Bergilir Menurut Hukum Islam dan Hukum Adat". Muqaranah 7, nr 2 (26.12.2023): 139–48. http://dx.doi.org/10.19109/muqaranah.v7i2.19581.
Pełny tekst źródłaHusien, Syarief, i Akhmad Khisni. "Hukum Waris Islam Di Indonesia (Studi Perkembangan Hukum Kewarisan Dalam Kompilasi Hukum Islam Dan Praktek Di Pengadilan Agama )". Jurnal Akta 5, nr 1 (5.03.2017): 75. http://dx.doi.org/10.30659/akta.v5i1.2533.
Pełny tekst źródłaPurnama, Arif Sadikin, Matfa Kresna Maarifarsyah, Putri Rahayu Nengsih, Dewi Desiana, Yusuf Guntur Hari Putra i Gita Anggraini. "Pendidikan Karakter Melalui Seni Teater Berbasis Kearifan Lokal Secara Daring untuk Anak-Anak Kampung Kumuh Pasar Keramat". ABDIMAS: Jurnal Pengabdian Masyarakat 3, nr 2 (30.10.2020): 351–59. http://dx.doi.org/10.35568/abdimas.v3i2.971.
Pełny tekst źródłaSaniah, Saniah, i Syahib Natarsyah. "MODEL APLIKASI PEMBAGIAN HARTA WARISAN BERDASARKAN KOMPILASI HUKUM ISLAM BERBASIS WEB". Jutisi : Jurnal Ilmiah Teknik Informatika dan Sistem Informasi 9, nr 3 (27.01.2021): 181. http://dx.doi.org/10.35889/jutisi.v9i3.557.
Pełny tekst źródłaMusa, Musa. "Ahli Waris Pengganti Dalam Tinjauan Kompilasi Hukum Islam Dan Hukum Perdata". Isti`dal : Jurnal Studi Hukum Islam 7, nr 1 (2.11.2021): 53–78. http://dx.doi.org/10.34001/istidal.v7i1.2154.
Pełny tekst źródłaRusmono i Wisnu Djatmiko. "Penyusunan Bahan Pembelajaran Kompilasi Bagi Pengajar di SMK Negeri 1 Cibinong, Bogor Jawa Barat". Sarwahita 19, nr 01 (5.01.2022): 12–20. http://dx.doi.org/10.21009/sarwahita.191.2.
Pełny tekst źródłaMu’in, Fathul, Faisal Faisal, Arif Fikri, Habib Shulton Asnawi i M. Anwar Nawawi. "THE PRACTICE OF SUBSTITUTE HAIRS IN INDONESIAN RELIGIOUS COURT: Restricted Interpretation". Al-Ahwal: Jurnal Hukum Keluarga Islam 16, nr 1 (30.06.2023): 141. http://dx.doi.org/10.14421/ahwal.2023.16107.
Pełny tekst źródłaMustamiin, Muhamad, Adi Suheryadi i Alifia Puspaningrum. "PENERAPAN SISTEM EVALUASI PEMBELAJARAN PEMROGRAMAN TERINTEGRASI DENGAN ONLINE JUDGE DI SMK". JURNAL PEKAMAS 2, nr 2 (23.12.2022): 61–67. http://dx.doi.org/10.46961/jpk.v2i2.636.
Pełny tekst źródłaShivakumar, Dr Sumathi. "Eternalising Cultural Memory Through Cultural Parallels in Literary Narratives". IJOHMN (International Journal online of Humanities) 3, nr 4 (15.08.2017): 65–74. http://dx.doi.org/10.24113/ijohmn.v3i4.34.
Pełny tekst źródła