|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1085 occurrences of 707 keywords
|
|
|
Results
Found 1391 publication records. Showing 1391 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
16 | Bruce W. Weide, Stephen H. Edwards, Douglas E. Harms, David Alex Lamb |
Design and Specification of Iterators Using the Swapping Paradigm. |
IEEE Trans. Software Eng. |
1994 |
DBLP DOI BibTeX RDF |
swapping paradigm, common interface model, user defined iterator abstractions, modular correctness proofs, formal specification, formal specification, formal methods, program verification, program verification, iterators, iterator designs, swapping, proof of correctness, modular reasoning, data encapsulation, imperative languages |
16 | Yong M. Lee, Donald J. Alameda |
C++ style class support under FIG Forth. |
SAC |
1994 |
DBLP DOI BibTeX RDF |
C++ class, OOP, C++, encapsulation, FORTH |
16 | Marco A. Casanova, António L. Furtado 0001, Luiz Tucherman |
A Software Tool for Modular Database Design. |
ACM Trans. Database Syst. |
1991 |
DBLP DOI BibTeX RDF |
consistency preservation, logical database design, module constructors, abstract data types, integrity constraints, encapsulation, modular design |
16 | O. Deux |
The Story of O2. |
IEEE Trans. Knowl. Data Eng. |
1990 |
DBLP DOI BibTeX RDF |
O/sub 2/, disk management, overriding, user interface generation tools, complete programming environment, multilanguage paradigm, dual mode, workstation/server configuration, prototype performance, object-oriented programming, programming environment, DBMS, database management systems, query language, query languages, completeness, inheritance, typing, extensibility, sharing, persistence, encapsulation, complex objects, object-oriented database system, object identity |
16 | Lanfranco Lopriore |
Capability Based Tagged Architectures. |
IEEE Trans. Computers |
1984 |
DBLP DOI BibTeX RDF |
type specification, abstract object, capability based addressing, object encapsulation, segmented memory, tagged architecture, type implementation, Abstract data type, capability |
16 | Thomas N. Turba |
A Facility for the Downward Execution of a High-Level Language. |
SIGPLAN Symposium on Compiler Construction |
1982 |
DBLP DOI BibTeX RDF |
Inline code, Compilers, Efficiency, Code generation, Extensibility, Encapsulation, High-level languages, Assemblers, Machine code |
16 | Richard C. Holt, David B. Wortman, James R. Cordy, David R. Crowe |
The Euclid Language: a progress report. |
ACM Annual Conference (1) |
1978 |
DBLP DOI BibTeX RDF |
Legality assertions, Machine dependencies, Visibility of names, Reliability, Verification, Language, Pascal, Aliasing, Storage allocation, Systems programming, Data encapsulation, Parameterized types, Euclid, EUCLID |
16 | Leonardo A. D. S. Ribeiro, José Paulo da Silva Lima, Ruy J. G. B. de Queiroz, Amirton Bezerra Chagas, José R. R. Junior, Jonysberg P. Quintino, Fabio Q. B. da Silva, André L. M. Santos |
SABER post-quantum key encapsulation mechanism (KEM): evaluating performance in ARM and x64 architectures. |
J. Cryptogr. Eng. |
2024 |
DBLP DOI BibTeX RDF |
|
16 | Himani Sinhmar, Hadas Kress-Gazit |
Guaranteed Encapsulation of Targets With Unknown Motion by a Minimalist Robotic Swarm. |
IEEE Trans. Robotics |
2024 |
DBLP DOI BibTeX RDF |
|
16 | Amir K. Khandani |
Randomized Key Encapsulation/Consolidation. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
16 | Randy Kuang, Maria Perepechaenko, Dafu Lou, Brinda Tank |
Benchmark Performance of Homomorphic Polynomial Public Key Cryptography for Key Encapsulation and Digital Signature Schemes. |
CoRR |
2024 |
DBLP DOI BibTeX RDF |
|
16 | Xiao Min, Greg Mirsky, Santosh Pallagatti, Jeff Tantsura, Sam Aldrin |
Bidirectional Forwarding Detection (BFD) for Generic Network Virtualization Encapsulation (Geneve). |
RFC |
2024 |
DBLP DOI BibTeX RDF |
|
16 | Randy Kuang, Maria Perepechaenko, Dafu Lou, Brinda Tank |
Benchmark Performance of Homomorphic Polynomial Public Key Cryptography for Key Encapsulation and Digital Signature Schemes. |
IACR Cryptol. ePrint Arch. |
2024 |
DBLP BibTeX RDF |
|
16 | Loïc Demange, Mélissa Rossi |
A provably masked implementation of BIKE Key Encapsulation Mechanism. |
IACR Cryptol. ePrint Arch. |
2024 |
DBLP BibTeX RDF |
|
16 | Daniela Lo Presti, Sara Cimini, Francesca De Tommasi, Carlo Massaroni, Stefano Cinti, Laura De Gara, Emiliano Schena |
Flexible Matrices for the Encapsulation of Plant Wearable Sensors: Influence of Geometric and Color Features on Photosynthesis and Transpiration. |
Sensors |
2024 |
DBLP DOI BibTeX RDF |
|
16 | Puja Mondal, Suparna Kundu, Sarani Bhattacharya, Angshuman Karmakar, Ingrid Verbauwhede |
A Practical Key-Recovery Attack on LWE-Based Key-Encapsulation Mechanism Schemes Using Rowhammer. |
ACNS (3) |
2024 |
DBLP DOI BibTeX RDF |
|
16 | Archisman Ghosh, Jose Maria Bermudo Mera, Angshuman Karmakar, Debayan Das, Santosh Ghosh, Ingrid Verbauwhede, Shreyas Sen |
A 334 μW 0.158 mm2 ASIC for Post-Quantum Key-Encapsulation Mechanism Saber With Low-Latency Striding Toom-Cook Multiplication. |
IEEE J. Solid State Circuits |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Tung-Tso Tsai, Yuh-Min Tseng, Sen-Shan Huang |
Leakage-Resilient Anonymous Multi-Receiver Certificate-Based Key Encapsulation Scheme. |
IEEE Access |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Mohammad Reza Nosouhi, Syed Wajid Ali Shah, Lei Pan 0002, Robin Doss |
Bit Flipping Key Encapsulation for the Post-Quantum Era. |
IEEE Access |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Muhammad Asfand Hafeez, Wai-Kong Lee, Angshuman Karmakar, Seong Oun Hwang |
High Throughput Acceleration of Scabbard Key Exchange and Key Encapsulation Mechanism Using Tensor Core on GPU for IoT Applications. |
IEEE Internet Things J. |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Enric Sabater, Miquel Solà, Pedro Salvador, Diego M. Andrada |
Cage-size effects on the encapsulation of P2 by fullerenes. |
J. Comput. Chem. |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Malik Imran, Felipe Almeida, Andrea Basso 0002, Sujoy Sinha Roy, Samuel Pagliarini |
High-speed SABER key encapsulation mechanism in 65nm CMOS. |
J. Cryptogr. Eng. |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Alvaro Cintas Canto, Ausmita Sarker, Jasmin Kaur, Mehran Mozaffari Kermani, Reza Azarderakhsh |
Error Detection Schemes Assessed on FPGA for Multipliers in Lattice-Based Key Encapsulation Mechanisms in Post-Quantum Cryptography. |
IEEE Trans. Emerg. Top. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Venkatesh Kumar Panneer Selvam, Muhammad Luqman Arief Bin Kamaludin, Ghulam Murtaza, Rifat Hussain Chowdhury, Tanmay Debnath, Shunya Okamoto, Takayuki Shibata, Tuhin Subhra Santra, Moeto Nagai |
Image-Based Gel Encapsulation of Suspended Single Cells for Parallel Single-Cell Screening. |
J. Robotics Mechatronics |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Seungnam Han, Jinho Choi 0001, Euiseok Hwang |
PHY-PSIONICS: Physical-Layer Phase Secret Key Encapsulation in Correlated Subchannels. |
IEEE Wirel. Commun. Lett. |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Víctor García, Santiago Escobar 0001, Kazuhiro Ogata 0001, Sedat Akleylek, Ayoub Otmani |
Modelling and verification of post-quantum key encapsulation mechanisms using Maude. |
PeerJ Comput. Sci. |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Kübra Seyhan, Sedat Akleylek |
Indistinguishability under adaptive chosen-ciphertext attack secure double-NTRU-based key encapsulation mechanism. |
PeerJ Comput. Sci. |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Surbhi Shaw, Ratna Dutta |
Forward Secure Offline Assisted Group Key Exchange From Isogeny-Based Blinded Key Encapsulation Mechanism. |
IEEE Trans. Inf. Theory |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Puja Mondal, Suparna Kundu, Sarani Bhattacharya, Angshuman Karmakar, Ingrid Verbauwhede |
A practical key-recovery attack on LWE-based key-encapsulation mechanism schemes using Rowhammer. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Prakhar Sah, Matthew Hicks |
RIPencapsulation: Defeating IP Encapsulation on TI MSP Devices. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Himani Sinhmar, Hadas Kress-Gazit |
Guaranteed Encapsulation of Targets with Unknown Motion by a Minimalist Robotic Swarm. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Archisman Ghosh, Jose Maria Bermudo Mera, Angshuman Karmakar, Debayan Das, Santosh Ghosh, Ingrid Verbauwhede, Shreyas Sen |
A 334μW 0.158mm2 ASIC for Post-Quantum Key-Encapsulation Mechanism Saber with Low-latency Striding Toom-Cook Multiplication Authors Version. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Timothy LaRock, Renaud Lambiotte |
Encapsulation Structure and Dynamics in Hypergraphs. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Nikolay Ivanov, Qiben Yan, Anurag Kompalli |
TxT: Real-time Transaction Encapsulation for Ethereum Smart Contracts. |
CoRR |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Frank Brockners, Shwetha Bhandari |
Network Service Header (NSH) Encapsulation for In Situ OAM (IOAM) Data. |
RFC |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Hitler Louis, Elizabeth N. Mbim, Gideon A. Okon, Uwem O. Edet, Innocent Benjamin, Emmanuel U. Ejiofor, Amanda-Lee E. Manicum |
Systematic exo-endo encapsulation of hydroxyurea (HU) by Cu, Ag, and Au-doped gallium nitride nanotubes (GaNNT) for smart therapeutic delivery. |
Comput. Biol. Medicine |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Azadeh Kordzadeh, Ahmad Ramazani S. A., Shohreh Mashayekhan |
Adsorption and encapsulation of melittin on covalently functionalized carbon nanotubes; a molecular dynamics simulation study. |
Comput. Biol. Medicine |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Nikolay Ivanov, Qiben Yan, Anurag Kompalli |
TxT: Real-Time Transaction Encapsulation for Ethereum Smart Contracts. |
IEEE Trans. Inf. Forensics Secur. |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Mohammad Reza Nosouhi, Syed W. Shah, Lei Pan 0002, Yevhen Zolotavkin, Ashish Nanda, Praveen Gauravaram, Robin Doss |
Weak-Key Analysis for BIKE Post-Quantum Key Encapsulation Mechanism. |
IEEE Trans. Inf. Forensics Secur. |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Archisman Ghosh, Jose Maria Bermudo Mera, Angshuman Karmakar, Debayan Das, Santosh Ghosh, Ingrid Verbauwhede, Shreyas Sen |
A 334µW 0.158mm2 ASIC for Post-Quantum Key-Encapsulation Mechanism Saber with Low-latency Striding Toom-Cook Multiplication Extended Version. |
IACR Cryptol. ePrint Arch. |
2023 |
DBLP BibTeX RDF |
|
16 | Jiangxia Ge, Tianshu Shan, Rui Xue 0001 |
Tighter QCCA-Secure Key Encapsulation Mechanism with Explicit Rejection in the Quantum Random Oracle Model. |
IACR Cryptol. ePrint Arch. |
2023 |
DBLP BibTeX RDF |
|
16 | Haodong Jiang, Zhi Ma 0001, Zhenfeng Zhang |
Post-Quantum Security of Key Encapsulation Mechanism against CCA Attacks with a Single Decapsulation Query. |
IACR Cryptol. ePrint Arch. |
2023 |
DBLP BibTeX RDF |
|
16 | Rebecca Schwerdt, Laurin Benz, Wasilij Beskorovajnov, Sarai Eilebrecht, Jörn Müller-Quade, Astrid Ottenhues |
Sender-binding Key Encapsulation. |
IACR Cryptol. ePrint Arch. |
2023 |
DBLP BibTeX RDF |
|
16 | Jung Hee Cheon, Hyeongmin Choe, Dongyeon Hong, MinJune Yi |
SMAUG: Pushing Lattice-based Key Encapsulation Mechanisms to the Limits. |
IACR Cryptol. ePrint Arch. |
2023 |
DBLP BibTeX RDF |
|
16 | Puja Mondal, Suparna Kundu, Sarani Bhattacharya, Angshuman Karmakar, Ingrid Verbauwhede |
A practical key-recovery attack on LWE-based key- encapsulation mechanism schemes using Rowhammer. |
IACR Cryptol. ePrint Arch. |
2023 |
DBLP BibTeX RDF |
|
16 | Sana Farooq, Ayesha Altaf, Faiza Iqbal, Ernesto Bautista Thompson, Debora Libertad Ramírez Vargas, Isabel de la Torre Díez, Imran Ashraf |
Resilience Optimization of Post-Quantum Cryptography Key Encapsulation Algorithms. |
Sensors |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Tobias Runge, Marco Servetto, Alex Potanin, Ina Schaefer |
Immutability and Encapsulation for Sound OO Information Flow Control. |
ACM Trans. Program. Lang. Syst. |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Jun Zhou 0018, Guobin Gao, Zhenfu Cao, Kim-Kwang Raymond Choo, Xiaolei Dong |
Lightweight Privacy-Preserving Distributed Recommender System Using Tag-Based Multikey Fully Homomorphic Data Encapsulation. |
IEEE Trans. Dependable Secur. Comput. |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Jung Hee Cheon, Hyeongmin Choe, Dongyeon Hong, MinJune Yi |
SMAUG: Pushing Lattice-Based Key Encapsulation Mechanisms to the Limits. |
SAC |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Johan Magnusson, Per Persson, Jacob Torell, Ingo Paas |
Buridan's Ass: Encapsulation as a Possible Solution to the Prioritization Dilemma of Digital Transformation. |
EGOV-CeDEM-ePart-* |
2023 |
DBLP BibTeX RDF |
|
16 | Daniel Townley, Young Kim, Fred Douglis, Jesse Elwell, Constantin Serban, Lan Wang, Alex Afanasyev, Lixia Zhang 0001 |
Secure NDN Packet Encapsulation. |
ICC |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Luoyao Hao, Bilgehan Erman, Andrea Francini, Bruce Cilli, Ejder Bastug, Catello Di Martino |
uNPE: Unified Network Protocol Encapsulation for Highly Transparent Future Networks. |
ICC Workshops |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Taekyung Lee, Hyunbeen Jeong, Joowon Lee, Jong-Mo Seo, Changhoon Baek |
Low dead space encapsulation and integration of circuits for retinal prosthesis based on cyclic olefin copolymer. |
EMBC |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Ruize Wang, Elena Dubrova |
A Shared Key Recovery Attack on a Masked Implementation of CRYSTALS-Kyber's Encapsulation Algorithm. |
FPS (1) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Daniel Patterson 0001, Andrew Wagner, Amal Ahmed 0001 |
Semantic Encapsulation using Linking Types. |
TyDe@ICFP |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Haodong Jiang, Zhi Ma 0001, Zhenfeng Zhang |
Post-quantum Security of Key Encapsulation Mechanism Against CCA Attacks with a Single Decapsulation Query. |
ASIACRYPT (4) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Laurin Benz, Wasilij Beskorovajnov, Sarai Eilebrecht, Jörn Müller-Quade, Astrid Ottenhues, Rebecca Schwerdt |
Sender-binding Key Encapsulation. |
Public Key Cryptography (1) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Yudi Yang, Weijie Huang, Kelly Kaoudis, Nathan Dautenhahn |
Whole-Program Privilege and Compartmentalization Analysis with the Object-Encapsulation Model. |
SP (Workshops) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Jiangxia Ge, Tianshu Shan, Rui Xue 0001 |
Tighter QCCA-Secure Key Encapsulation Mechanism with Explicit Rejection in the Quantum Random Oracle Model. |
CRYPTO (5) |
2023 |
DBLP DOI BibTeX RDF |
|
16 | Andrea Bassani, Daniele Carullo, Francesco Rossi, Cecilia Fiorentini, Guillermo Garrido, Gintaras V. Reklaitis, Irene Bonadies, Giorgia Spigno |
Modeling of a spray-drying process for the encapsulation of high-added value extracts from food by-products. |
Comput. Chem. Eng. |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Wai-Kong Lee, Seong Oun Hwang |
High Throughput Implementation of Post-Quantum Key Encapsulation and Decapsulation on GPU for Internet of Things Applications. |
IEEE Trans. Serv. Comput. |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Jorge A. Duarte, Andrés D. González, Jonathan J. Gourley |
Wildfire burn scar encapsulation. |
Optim. Lett. |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Mohammad Hossein Farzam, Siavash Bayat Sarmadi, Hatameh Mosanaei-Boorani, Armin Alivand |
Fast Supersingular Isogeny Diffie-Hellman and Key Encapsulation Using a Customized Pipelined Montgomery Multiplier. |
IEEE Trans. Circuits Syst. I Regul. Pap. |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Mohammad Reza Nosouhi, Syed W. Shah, Lei Pan 0002, Yevhen Zolotavkin, Ashish Nanda, Praveen Gauravaram, Robin Doss |
Weak-Key Analysis for BIKE Post-Quantum Key Encapsulation Mechanism. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Ying Lu, Peng-Fei Zhou, Shao-Ming Fei, Shi-Ju Ran |
Circuit encapsulation for efficient quantum computing based on controlled many-body dynamics. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Himani Sinhmar, Hadas Kress-Gazit |
Decentralized Control of Minimalistic Robotic Swarms For Guaranteed Target Encapsulation. |
CoRR |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Reza Hooshmand, Mahdi Khoshfekr |
Key encapsulation mechanism based on polar codes. |
IET Commun. |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Keigo Taga, Junjun Zheng, Koichi Mouri, Shoichi Saito, Eiji Takimoto |
Firewall Traversal Method by Pseudo-TCP Encapsulation. |
IEICE Trans. Inf. Syst. |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Wiem Takrouni, Ali Douik |
Improving geometric P-norm-based glioma segmentation through deep convolutional autoencoder encapsulation. |
Biomed. Signal Process. Control. |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Tommy Pauly, Valery Smyslov |
TCP Encapsulation of Internet Key Exchange Protocol (IKE) and IPsec Packets. |
RFC |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Jing Zhu 0001, Satish Kanugovi |
Generic Multi-Access (GMA) Encapsulation Protocol. |
RFC |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Enes Altinisik, Hüsrev Taha Sencar, Diram Tabaa |
Video Source Characterization Using Encoding and Encapsulation Characteristics. |
IEEE Trans. Inf. Forensics Secur. |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Malik Imran, Felipe Almeida, Andrea Basso 0002, Sujoy Sinha Roy, Samuel Pagliarini |
High-speed SABER Key Encapsulation Mechanism in 65nm CMOS. |
IACR Cryptol. ePrint Arch. |
2022 |
DBLP BibTeX RDF |
|
16 | Jean-Philippe Bossuat, Juan Ramón Troncoso-Pastoriza, Jean-Pierre Hubaux |
Bootstrapping for Approximate Homomorphic Encryption with Negligible Failure-Probability by Using Sparse-Secret Encapsulation. |
IACR Cryptol. ePrint Arch. |
2022 |
DBLP BibTeX RDF |
|
16 | Seunghwan Park, Chi-Gon Jung, Aesun Park, Joongeun Choi, Honggoo Kang |
TiGER: Tiny bandwidth key encapsulation mechanism for easy miGration based on RLWE(R). |
IACR Cryptol. ePrint Arch. |
2022 |
DBLP BibTeX RDF |
|
16 | Minjoo Sim, Siwoo Eum, Hyeokdong Kwon, Hyunjun Kim, Hwajeong Seo |
Optimized Implementation of Encapsulation and Decapsulation of Classic McEliece on ARMv8. |
IACR Cryptol. ePrint Arch. |
2022 |
DBLP BibTeX RDF |
|
16 | Julien Duman, Dominik Hartmann, Eike Kiltz, Sabrina Kunzweiler, Jonas Lehmann, Doreen Riepel |
Group Action Key Encapsulation and Non-Interactive Key Exchange in the QROM. |
IACR Cryptol. ePrint Arch. |
2022 |
DBLP BibTeX RDF |
|
16 | Randy Kuang, Maria Perepechaenko, Michel Barbeau |
A new post-quantum multivariate polynomial public key encapsulation algorithm. |
Quantum Inf. Process. |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Duong Dinh Tran, Kazuhiro Ogata 0001, Santiago Escobar 0001, Sedat Akleylek, Ayoub Otmani |
Formal specification and model checking of lattice-based key encapsulation mechanisms in Maude. |
FAVPQC@ICFEM |
2022 |
DBLP BibTeX RDF |
|
16 | Víctor García, Santiago Escobar 0001, Kazuhiro Ogata 0001 |
Modeling and verification of the post-quantum key encapsulation mechanism KYBER using Maude. |
FAVPQC@ICFEM |
2022 |
DBLP BibTeX RDF |
|
16 | Randy Kuang, Maria Perepechaenko, Ryan Toth, Michel Barbeau |
Benchmark Performance of the Multivariate Polynomial Public Key Encapsulation Mechanism. |
CRiSIS |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Duong Dinh Tran, Kazuhiro Ogata 0001, Santiago Escobar 0001, Sedat Akleylek, Ayoub Otmani |
Formal specification and model checking of Saber lattice-based key encapsulation mechanism in Maude. |
SEKE |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Himani Sinhmar, Hadas Kress-Gazit |
Decentralized Control of Minimalistic Robotic Swarms For Guaranteed Target Encapsulation. |
IROS |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Manuel Aguilar Rios, Sareh Assiri, Bertrand Cambou |
Hardware Implementation for Analog Key Encapsulation Based on ReRAM PUF. |
SAI (3) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Nicodemus Msafiri John Mbwambo, Yu-Shan Sun, Joan Krone, Murali Sitaraman |
Scalable Computing Through Reusability: Encapsulation, Specification, and Verification for a Navigable Tree Position. |
SAI (1) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Hen-Wei Huang, David de Gruijl, Philip Fritz, Abhijay Kemkar, Ian Ballinger, George Selsing, Peter Ray Chai, Giovanni Traverso |
Encapsulation of Gas Sensors to Operate in the Gastrointestinal Tract for Continuous Monitoring. |
IEEE SENSORS |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Wai-Kong Lee, Seong Oun Hwang |
High Throughput Implementation of Post-quantum Key Encapsulation and Decapsulation on GPU for Internet of Things Applications. |
SERVICES |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Argiris Ntanos, Dimitris Zavitsanos, Giannis Giannoulis, Hercules Avramopoulos |
Satellite Assisted QKD Key Encapsulation. |
ICC |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Jinxia Hai, Ge Chen, Qi Chen, Jie Liang |
Research and Application on Dynamical Media Encapsulation Technology based on Extended MPEG-TS. |
IWCMC |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Jayashree Dey, Ratna Dutta |
Code-based Key Encapsulation Mechanism Preserving Short Ciphertext and Secret Key. |
SECRYPT |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Anushree Belel, Ratna Dutta, Sourav Mukhopadhyay |
Key Encapsulation Mechanism in Ciphertext-policy Attribute based Setting Featuring Revocation and Key-homomorphic Property. |
SECRYPT |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Jean-Philippe Bossuat, Juan Ramón Troncoso-Pastoriza, Jean-Pierre Hubaux |
Bootstrapping for Approximate Homomorphic Encryption with Negligible Failure-Probability by Using Sparse-Secret Encapsulation. |
ACNS |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Julien Duman, Dominik Hartmann, Eike Kiltz, Sabrina Kunzweiler, Jonas Lehmann, Doreen Riepel |
Group Action Key Encapsulation and Non-Interactive Key Exchange in the QROM. |
ASIACRYPT (2) |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Abigail Akosua Addobea, Qianmu Li, Isaac Amankona Obiri, Jun Hou 0002 |
A Gas Cost Analytical Approach Based on Certificateless Key Encapsulation Protocol for Medicalized Blockchains. |
FCS |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Conceição N. Silva, Neandra P. Ferreira, Sharlene S. Meireles, Mario Otani, Vandermi J. da Silva, Carlos Alberto Oliveira de Freitas, Felipe G. Oliveira |
The Visual Inspection of Solder Balls in Semiconductor Encapsulation. |
ICINCO |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Boly Seck, Cheikh Thiécoumba Gueye, Gilbert Ndollane Dione, Jean Belo Klamti, Pierre-Louis Cayrel, Idy Diop, Ousmane Ndiaye |
Software Implementation of a Code-Based Key Encapsulation Mechanism from Binary QD Generalized Srivastava Codes. |
CBCrypto |
2022 |
DBLP DOI BibTeX RDF |
|
16 | Guanhao Xue, Baocang Wang, Quanbo Qu, Weidong Zhang |
Efficient lattice-based authenticated key exchange based on key encapsulation mechanism and signature. |
IET Inf. Secur. |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Seog Chung Seo |
SIKE on GPU: Accelerating Supersingular Isogeny-Based Key Encapsulation Mechanism on Graphic Processing Units. |
IEEE Access |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Shengfeng Xu, Xiangxue Li |
Chosen-Ciphertext Secure Key Encapsulation Mechanism in the Standard Model. |
IEEE Access |
2021 |
DBLP DOI BibTeX RDF |
|
16 | Ricardo Neftali Pontaza Rodas, Ying-Dar Lin, Shih-Lien Lu, Keh-Jeng Chang |
O2MD²: A New Post-Quantum Cryptosystem With One-to-Many Distributed Key Management Based on Prime Modulo Double Encapsulation. |
IEEE Access |
2021 |
DBLP DOI BibTeX RDF |
|
Displaying result #201 - #300 of 1391 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ >>] |
|