Search results for "CPA"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
42	Ian East	Concurrent/Reactive System Design with Honeysuckle.	CPA	2007	DBLP BibTeX RDF
42	David May 0001	Communicating Process Architecture for Multicores.	CPA	2007	DBLP BibTeX RDF
42	Wilson Ifill, Steve A. Schneider	A Step Towards Refining and Translating B Control Annotations to Handel-C.	CPA	2007	DBLP BibTeX RDF
42	Phillip J. Brooke, Richard F. Paige	Lazy Exploration and Checking of CSP Models with CSPsim.	CPA	2007	DBLP BibTeX RDF
42	Peter H. Welch, Jon M. Kerridge, Fred R. M. Barnes (eds.)	The 29th Communicating Process Architectures Conference, CPA 2006, organised under the auspices of WoTUG and the Napier University, Edinburgh, Scottland, UK, 17-20 September 2006	CPA	2006	DBLP BibTeX RDF
42	Christian L. Jacobsen, Damian J. Dimmich, Matthew C. Jadud	Native Code Generation Using the Transterpreter.	CPA	2006	DBLP BibTeX RDF
42	Bernhard H. C. Sputh, Oliver Faust, Alastair R. Allen	Portable CSP Based Design for Embedded Multi-Core Systems.	CPA	2006	DBLP BibTeX RDF
42	Kevin Chalmers, Sarah Clayton	CSP for .NET Based on JCSP.	CPA	2006	DBLP BibTeX RDF
42	Fred R. M. Barnes	Compiling CSP.	CPA	2006	DBLP BibTeX RDF
42	Kevin Chalmers, Jon M. Kerridge, Imed Romdhani	Performance Evaluation of JCSP Micro Edition: JCSPme.	CPA	2006	DBLP BibTeX RDF
42	Jon M. Kerridge, Kevin Chalmers	Ubiquitous Access to Site Specific Services by Mobile Devices: the Process View.	CPA	2006	DBLP BibTeX RDF
42	Oliver Faust, Bernhard H. C. Sputh, Alastair R. Allen	A Study of Percolation Phenomena in Process Networks.	CPA	2006	DBLP BibTeX RDF
42	Mario Schweigler, Adam T. Sampson	pony - The occam-pi Network Environment.	CPA	2006	DBLP BibTeX RDF
42	Carl G. Ritson, Adam T. Sampson, Fred R. M. Barnes	Video Processing in occam-pi.	CPA	2006	DBLP BibTeX RDF
42	Bojan Orlic, Jan F. Broenink	SystemCSP - Visual Notation.	CPA	2006	DBLP BibTeX RDF
42	Jonathan Simpson, Christian L. Jacobsen, Matthew C. Jadud	Mobile Robot Control - The Subsumption Architecture and occam-pi.	CPA	2006	DBLP BibTeX RDF
42	Mark Burgin, Marc L. Smith	Compositions of Concurrent Processes.	CPA	2006	DBLP BibTeX RDF
42	Neil Brown 0001	Rain: A New Concurrent Process-Oriented Programming Language.	CPA	2006	DBLP BibTeX RDF
42	Hans Henrik Happe	TCP Input Threading in High Performance Distributed Systems.	CPA	2006	DBLP BibTeX RDF
42	Shyam Kumar, Gardiner S. Stiles	A JCSP.net Implementation of a Massively Multiplayer Online Game.	CPA	2006	DBLP BibTeX RDF
42	Neil Brown 0001	Rain VM: Portable Concurrency through Managing Code.	CPA	2006	DBLP BibTeX RDF
42	Jan Bækgaard Pedersen	Classification of Programming Errors in Parallel Message Passing Systems.	CPA	2006	DBLP BibTeX RDF
42	Alex A. Lehmberg, Martin N. Olsen	An Introduction to CSP.NET.	CPA	2006	DBLP BibTeX RDF
42	Bojan Orlic, Jan F. Broenink	Interacting Components.	CPA	2006	DBLP BibTeX RDF
42	Gerald H. Hilderink	Software Specification Refinement and Verification Method with I-Mathic Studio.	CPA	2006	DBLP BibTeX RDF
42	Øyvind Teig	No Blocking on Yesterday's Embedded CSP Implementation - (The Rubber Band of Getting it Right and Simple).	CPA	2006	DBLP BibTeX RDF
42	Peter H. Welch	A Fast Resolution of Choice between Multiway Synchronisations (Invited Talk).	CPA	2006	DBLP BibTeX RDF
42	Damian J. Dimmich, Christian L. Jacobsen, Matthew C. Jadud	A Cell Transterpreter.	CPA	2006	DBLP BibTeX RDF
42	Alistair A. McEwan	A Circus Development and Verification of an Internet Packet Filter.	CPA	2006	DBLP BibTeX RDF
42	Barry Cook, Paul Walker	SpaceWire - DS-Links Reborn.	CPA	2006	DBLP BibTeX RDF
42	Jan F. Broenink, Herman W. Roebbers, Johan P. E. Sunter, Peter H. Welch, David C. Wood (eds.)	The 28th Communicating Process Architectures Conference, CPA 2005, organised under the auspices of WoTUG, Philips and the Technische Universiteit Eindhoven, Eindhoven, The Netherlands, 18-21 September 2005	CPA	2005	DBLP BibTeX RDF
42	Brian Vinter	The Architecture of the Minimum intrusion Grid (MiG).	CPA	2005	DBLP BibTeX RDF
42	Marcel A. Groothuis, Geert K. Liet, Jan F. Broenink	gCSP occam Code Generation for RMoX.	CPA	2005	DBLP BibTeX RDF
42	Ad M. G. Peeters	Handshake Technology: High Way to Low Power - Invited Talk.	CPA	2005	DBLP BibTeX RDF
42	Paul Stravers	Homogeneous Multiprocessing for Consumer Electronics - Invited Talk.	CPA	2005	DBLP BibTeX RDF
42	Maarten Wiggers, Nikolay Kavaldjiev, Gerard J. M. Smit, Pierre G. Jansen	Architecture Design Space Exploration for Streaming Applications through Timing Analysis.	CPA	2005	DBLP BibTeX RDF
42	Ian East	Interfacing with Honeysuckle by Formal Contract.	CPA	2005	DBLP BibTeX RDF
42	Hans Henrik Happe, Brian Vinter	Improving TCP/IP Multicasting with Message Segmentation.	CPA	2005	DBLP BibTeX RDF
42	Damian J. Dimmich, Christian L. Jacobsen	A Foreign-Function Interface Generator for occam-pi.	CPA	2005	DBLP BibTeX RDF
42	Arash Saifhashemi, Peter A. Beerel	High Level Modeling of Channel-Based Asynchronous Circuits Using Verilog.	CPA	2005	DBLP BibTeX RDF
42	Albert L. Schoute, Remco Seesink, Werner Dierssen, Niek Kooij	Fast Data Sharing within a Distributed, Multithreaded Control Framework for Robot Teams.	CPA	2005	DBLP BibTeX RDF
42	Dusko S. Jovanovic, Bojan E. Orlic, Jan F. Broenink	On Issues of Constructing an Exception Handling Mechanism for CSP-Based Process-Oriented Concurrent Software.	CPA	2005	DBLP BibTeX RDF
42	Kevin Chalmers, Jon M. Kerridge	jcsp.mobile: A Package Enabling Mobile Processes and Channels.	CPA	2005	DBLP BibTeX RDF
42	Bernhard H. C. Sputh, Alastair R. Allen	JCSP-Poison: Safe Termination of CSP Process Networks.	CPA	2005	DBLP BibTeX RDF
42	Guy H. Broadfoot	If Concurrency in Software is So Simple, Why is it So Hard? - Invited Talk.	CPA	2005	DBLP BibTeX RDF
42	Marc L. Smith	A Unifying Theory of True Concurrency Based on CSP and Lazy Observation.	CPA	2005	DBLP BibTeX RDF
42	John Jakson	R16: A New Transputer Design for FPGAs.	CPA	2005	DBLP BibTeX RDF
42	Fred R. M. Barnes	Interfacing C and occam-pi.	CPA	2005	DBLP BibTeX RDF
42	Jon M. Kerridge, Ken Barclay, John Savage	Groovy Parallel! A Return to the Spirit of occam?	CPA	2005	DBLP BibTeX RDF
42	Johnston Stewart, Paddy Nixon, Tim Walsh, Ian Ferguson	Towards Strong Mobility in the Shared Source CLI.	CPA	2005	DBLP BibTeX RDF
42	Mihail Ivanovici, Razvan Beuran, Neil Davies	Assessing Application Performance in Degraded Network Environments: An FPGA-Based Approach.	CPA	2005	DBLP BibTeX RDF
42	Bart Rem, Ajeesh Gopalakrishnan, Tom J. H. Geelen, Herman W. Roebbers	Automatic Handel-C Generation from MATLAB.	CPA	2005	DBLP BibTeX RDF
42	John Markus Bjørndalen, Otto J. Anshus, Brian Vinter	Interactive Computing with the Minimum intrusion Grid (MiG).	CPA	2005	DBLP BibTeX RDF
42	Peter H. Welch, Fred R. M. Barnes	Mobile Barriers for occam-pi: Semantics, Implementation and Application.	CPA	2005	DBLP BibTeX RDF
42	Gerald H. Hilderink	Exception Handling Mechanism in Communicating Threads for Java.	CPA	2005	DBLP BibTeX RDF
42	Adam T. Sampson, Peter H. Welch, Fred R. M. Barnes	Lazy Cellular Automata with Communicating Processes.	CPA	2005	DBLP BibTeX RDF
42	Vladimir Klebanov, Philipp Rümmer, Steffen Schlager, Peter H. Schmitt	Verification of JCSP Programs.	CPA	2005	DBLP BibTeX RDF
42	H. Peter Hofstee	Communication and Synchronization in the Cell Processor - Invited Talk.	CPA	2005	DBLP BibTeX RDF
42	William B. Gardner	CSP++: How Faithful to CSPm?	CPA	2005	DBLP BibTeX RDF
38	Eric Brier, Christophe Clavier, Francis Olivier	Correlation Power Analysis with a Leakage Model.	CHES	2004	DBLP DOI BibTeX RDF	Correlation factor, secure cryptographic device, AES, DPA, power analysis, DES, Hamming distance, side channel, CPA
37	Zhenyu Hu, Fuchun Sun 0001, JianChun Jiang	Ciphertext verification security of symmetric encryption schemes.	Sci. China Ser. F Inf. Sci.	2009	DBLP DOI BibTeX RDF	reaction attack, IND-CPA, IND-CCA, privacy, integrity, encryption
37	Claire Whelan, Michael Scott	Side Channel Analysis of Practical Pairing Implementations: Which Path Is More Secure?	VIETCRYPT	2006	DBLP DOI BibTeX RDF	Correlation Power Analysis (CPA), ?T Pairing, Side Channel Analysis (SCA), Tate Pairing, Pairing Based Cryptography, Ate Pairing
37	Kwanghoon Pio Kim, Ilkyeun Ra	A Process-Driven e-Business Service Integration System and Its Application to e-Logistics Services.	WISE	2005	DBLP DOI BibTeX RDF	e-Business Service Integration System, B2B Choreography and Orchestration, e-Business Process Management, ebXML Standard, CPP/CPA, BPSS, e-Logistics, e-Commerce
28	Ashish Goel, Kamesh Munagala	Hybrid keyword search auctions.	WWW	2009	DBLP DOI BibTeX RDF	internet, mechanism design, keyword auctions
28	Kenneth G. Paterson, Sriramkrishnan Srinivasan	Building Key-Private Public-Key Encryption Schemes.	ACISP	2009	DBLP DOI BibTeX RDF	multiple trusted authorities, TA anonymity, standard model, public-key encryption, identity-based encryption, key-privacy
28	Cristian Ene, Yassine Lakhnech, Van Chan Ngo	Formal Indistinguishability Extended to the Random Oracle Model.	ESORICS	2009	DBLP DOI BibTeX RDF
28	Mihir Bellare, Chanathip Namprempre	Authenticated Encryption: Relations among Notions and Analysis of the Generic Composition Paradigm.	J. Cryptol.	2008	DBLP DOI BibTeX RDF	Message authentication, Authenticated encryption, Symmetric encryption, Concrete security
28	Takato Hirano, Koichiro Wada, Keisuke Tanaka	Public-Key Cryptosystems with Primitive Power Roots of Unity.	ACISP	2008	DBLP DOI BibTeX RDF	Paillier encryption scheme, factoring assumption, power roots of unity, homomorphism
28	Ling Cheung, Calvin C. Newport	Provably secure ciphertext policy ABE.	CCS	2007	DBLP DOI BibTeX RDF	access control, public key cryptography, attribute-based encryption
28	Lingzhong Zhao, Tianlong Gu, Junyan Qian, Guoyong Cai	Designing Prolog Semantics for a Class of Observables.	PRICAI	2006	DBLP DOI BibTeX RDF
28	Isamu Teranishi, Wakaha Ogata	Relationship Between Standard Model Plaintext Awareness and Message Hiding.	ASIACRYPT	2006	DBLP DOI BibTeX RDF	Standard Model, Plaintext Awareness
28	Yitao Duan, John F. Canny	How to Construct Multicast Cryptosystems Provably Secure Against Adaptive Chosen Ciphertext Attack.	CT-RSA	2006	DBLP DOI BibTeX RDF
28	Jacques Patarin, Audrey Montreuil	Benes and Butterfly Schemes Revisited.	ICISC	2005	DBLP DOI BibTeX RDF	information-theoretic primitive, design of keyed hash functions. (An extended version of this paper is available from the authors), unconditional security, Pseudo-random functions
28	Mihir Bellare, Adriana Palacio	Towards Plaintext-Aware Public-Key Encryption Without Random Oracles.	ASIACRYPT	2004	DBLP DOI BibTeX RDF
28	David Galindo, Sebastià Martín Molleví, Tsuyoshi Takagi, Jorge Luis Villar	A Provably Secure Elliptic Curve Scheme with Fast Encryption.	INDOCRYPT	2004	DBLP DOI BibTeX RDF
28	Wen-Chang Yeh, Chein-Wei Jen	Generalized Earliest-First Fast Addition Algorithm.	IEEE Trans. Computers	2003	DBLP DOI BibTeX RDF	Carry-propagation adder, final adder, conditional-sum, carry-lookahead
28	Kaoru Kurosawa, Tsuyoshi Takagi	Some RSA-Based Encryption Schemes with Tight Security Reduction.	ASIACRYPT	2003	DBLP DOI BibTeX RDF	RSA-Paillier, Rabin-Paillier, Factoring, semantic security, tight reduction
28	David Galindo, Sebastià Martín Molleví, Paz Morillo, Jorge Luis Villar	A Practical Public Key Cryptosystem from Paillier and Rabin Schemes.	Public Key Cryptography	2003	DBLP DOI BibTeX RDF	public-key cryptography, factoring, standard model, semantic security
28	Andrei Radulescu, Arjan J. C. van Gemund	A Low-Cost Approach towards Mixed Task and Data Parallel Scheduling.	ICPP	2001	DBLP DOI BibTeX RDF
28	Leila Maria Garcia Fonseca, Charles S. Kenney	Control Point Assessment for Image Registration.	SIBGRAPI	1999	DBLP DOI BibTeX RDF
28	Yang Cai 0003, Martin D. F. Wong	Optimal channel pin assignment.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1991	DBLP DOI BibTeX RDF
24	Emmanuel Prouff, Robert P. McEvoy	First-Order Side-Channel Attacks on the Permutation Tables Countermeasure.	CHES	2009	DBLP DOI BibTeX RDF	Permutation Tables, MIA, Side-Channel Attacks, Masking, CPA
24	Thanh-Ha Le, Cécile Canovas, Jessy Clédière	An overview of side channel analysis attacks.	AsiaCCS	2008	DBLP DOI BibTeX RDF	side channel attacks, stochastic model, DPA, DEMA, CPA, template attack
24	Victor Lomné, Thomas Ordas, Philippe Maurine, Lionel Torres, Michel Robert, Rafael Soares, Ney Calazans	Triple Rail Logic Robustness against DPA.	ReConFig	2008	DBLP DOI BibTeX RDF	STTL, DPA, SCA, CPA
24	Toshihiro Katashita, Akashi Satoh, Takeshi Sugawara 0001, Naofumi Homma, Takafumi Aoki	Enhanced Correlation Power Analysis Using Key Screening Technique.	ReConFig	2008	DBLP DOI BibTeX RDF	FPGA, side-channel attack, power analysis, CPA
24	Rafael Soares, Ney Laert Vilar Calazans, Victor Lomné, Philippe Maurine, Lionel Torres, Michel Robert	Evaluating the robustness of secure triple track logic through prototyping.	SBCCI	2008	DBLP DOI BibTeX RDF	logic style, FPGA, side-channel attacks, DPA, DES, CPA
24	Barton P. Miller, Morgan Clark, Jeffrey K. Hollingsworth, Steven Kierstead, Sek-See Lim, Timothy Torzewski	IPS-2: The Second Generation of a Parallel Program Measurement System.	IEEE Trans. Parallel Distributed Syst.	1990	DBLP DOI BibTeX RDF	IPS-2, parallel program measurement system, performance measurement system, performance analysis techniques, program bottlenecks, interactive program analysis, automatic guidance techniques, Charlotte distributed operating system, 4.3BSD UNIX systems, DECstation, Sun 4, Sequent Symmetry multiprocessor, performance evaluation, parallel programs, parallel programming, semantics, graphical user interface, software tools, Unix, shared-memory systems, distributed programs, network operating systems, program diagnostics, VAX, design concepts, message systems, CPA
23	Mahabir Prasad Jhanwar, Rana Barua	A Variant of Boneh-Gentry-Hamburg's Pairing-Free Identity Based Encryption Scheme.	Inscrypt	2008	DBLP DOI BibTeX RDF	Quadratic Residuosity Assumption, Pairing Map, IND-ID-CPA, Identity Based Encryption
23	Takahiro Matsuda 0002, Goichiro Hanaoka, Kanta Matsuura, Hideki Imai	Simple CCA-Secure Public Key Encryption from Any Non-Malleable Identity-Based Encryption.	ICISC	2008	DBLP DOI BibTeX RDF	IND-CCA security, NM-sID-CPA security, public key encryption, identity-based encryption, non-malleability
23	Guilhem Castagnos	Two Generic Constructions of Probabilistic Cryptosystems and Their Applications.	SCN	2008	DBLP DOI BibTeX RDF	Homomorphic Scheme, Paillier Cryptosystem, Quadratic Fields, IND-CPA and IND-CCA2 security, Standard Model, Generic Construction, Probabilistic Encryption
23	Geoffrey Smith 0001, Rafael Alpízar	Secure information flow with random assignment and encryption.	FMSE	2006	DBLP DOI BibTeX RDF	IND-CCA, IND-CPA, encryption, type systems, reductions, noninterference, secure information flow
21	Yuan Yuan, Hongjie He, Fan Chen 0003	JPEG Bitstreams encryption with CPA-secure and file size reduction.	Multim. Tools Appl.	2024	DBLP DOI BibTeX RDF
21	Yuwei Zhang, Yan Wu, Yanming Liu, Xinyue Peng	CPA-Enhancer: Chain-of-Thought Prompted Adaptive Enhancer for Object Detection under Unknown Degradations.	CoRR	2024	DBLP DOI BibTeX RDF
21	Houwang Shi, Wenzhong Yang, Danni Chen, Min Wang	CPA-YOLOv7: Contextual and pyramid attention-based improvement of YOLOv7 for drones scene target detection.	J. Vis. Commun. Image Represent.	2023	DBLP DOI BibTeX RDF
21	Ali Shakiba	A novel randomized chaotic bit-level image encryption algorithm based on a novel 2D-CICM hyper-chaotic mapping with CPA-security.	Multim. Tools Appl.	2023	DBLP DOI BibTeX RDF
21	Siti Nabilah Yusof, Muhammad Rezal Kamel Ariffin, Terry Shue Chien Lau, Nur Raidah Salim, Sook-Chin Yip, Timothy Tzen Vun Yap	An IND-CPA Analysis of a Cryptosystem Based on Bivariate Polynomial Reconstruction Problem.	Axioms	2023	DBLP DOI BibTeX RDF
21	Qiuyu Yu, Chao Qin, Lingkun Luo, Hugh Hong-Tao Liu, Shiqiang Hu	CPA-Planner: Motion Planner With Complete Perception Awareness for Sensing- Limited Quadrotors.	IEEE Robotics Autom. Lett.	2023	DBLP DOI BibTeX RDF
21	Thai-Ha Tran, Ba-Anh Dao, Trong-Thuc Hoang, Van-Phuc Hoang, Cong-Kha Pham	Transition Factors of Power Consumption Models for CPA Attacks on Cryptographic RISC-V SoC.	IEEE Trans. Computers	2023	DBLP DOI BibTeX RDF
21	Jillian Bommarito, Michael J. Bommarito II, Daniel Martin Katz, Jessica Katz	GPT as Knowledge Worker: A Zero-Shot Evaluation of (AI)CPA Capabilities.	CoRR	2023	DBLP DOI BibTeX RDF
21	Yevgeniy Dodis, Shai Halevi, Daniel Wichs	Security with Functional Re-Encryption from CPA.	IACR Cryptol. ePrint Arch.	2023	DBLP BibTeX RDF