Search results for "CPA"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
98	Madhukar R. Korupolu, Aameek Singh, Bhuvan Bamba	Coupled placement in modern data centers.	IPDPS	2009	DBLP DOI BibTeX RDF
84	Yong Ding 0002, Chen Wang 0010, Li Xiao 0001	A Connectivity Based Partition Approach for Node Scheduling in Sensor Networks.	DCOSS	2007	DBLP DOI BibTeX RDF
84	Jacques Patarin	Security of Random Feistel Schemes with 5 or More Rounds.	CRYPTO	2004	DBLP DOI BibTeX RDF
84	Tiejun Wang, Scott F. Smith 0001	Precise Constraint-Based Type Inference for Java.	ECOOP	2001	DBLP DOI BibTeX RDF
84	Wen-Chung Kao, Tai-Ming Parng	Cross point assignment with global rerouting for general-architecture designs.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1995	DBLP DOI BibTeX RDF
80	Thanh-Ha Le, Jessy Clédière, Cécile Canovas, Bruno Robisson, Christine Servière, Jean-Louis Lacoume	A Proposition for Correlation Power Analysis Enhancement.	CHES	2006	DBLP DOI BibTeX RDF	multi-bit DPA, PPA, AES, correlation, DPA, power analysis, DES, side channel, CPA
79	Zhenglin Liu, Xu Guo, Yi-Cheng Chen, Yu Han, Xuecheng Zou	On the Ability of AES S-Boxes to Secure Against Correlation Power Analysis.	ISPEC	2007	DBLP DOI BibTeX RDF	correlation power analysis (CPA), Advanced Encryption Standard (AES), hamming distance, correlation coefficient
70	Wei Li 0013, Dawu Gu	An Approach for Symmetric Encryption Against Side Channel Attacks in Provable Security.	ProvSec	2007	DBLP DOI BibTeX RDF
70	Scott F. Smith 0001, Tiejun Wang	Polyvariant Flow Analysis with Constrained Types.	ESOP	2000	DBLP DOI BibTeX RDF
63	Daniele Pretolani	Probability logic and optimization SAT: The PSAT and CPA models.	Ann. Math. Artif. Intell.	2005	DBLP DOI BibTeX RDF	CNF formulas, ideal matrices, probability, logic, directed graphs, propositional satisfiability
62	Kevin Chalmers, Jon M. Kerridge	Verifying the CPA Networking Stack using SPIN/Promela.	CPA	2013	DBLP BibTeX RDF
62	Ian R. East	A CPA Series.	CPA	2012	DBLP BibTeX RDF
62	Kevin Chalmers	Performance of the Distributed CPA Protocol and Architecture on Traditional Networks.	CPA	2011	DBLP DOI BibTeX RDF
56	Yong Ding 0002, Chen Wang 0010, Li Xiao 0001	An Adaptive Partitioning Scheme for Sleep Scheduling and Topology Control in Wireless Sensor Networks.	IEEE Trans. Parallel Distributed Syst.	2009	DBLP DOI BibTeX RDF
56	Keke Wu, Huiyun Li, Bo Peng, Fengqi Yu	Correlation Power Analysis Attack against Synchronous Stream Ciphers.	ICYCS	2008	DBLP DOI BibTeX RDF
56	Ronald Cramer, Goichiro Hanaoka, Dennis Hofheinz, Hideki Imai, Eike Kiltz, Rafael Pass, Abhi Shelat, Vinod Vaikuntanathan	Bounded CCA2-Secure Encryption.	ASIACRYPT	2007	DBLP DOI BibTeX RDF
49	Jing Pan, J. I. den Hartog, Erik P. de Vink	An Operation-Based Metric for CPA Resistance.	SEC	2008	DBLP DOI BibTeX RDF
49	Alvin S. Lim, Qing Yang 0003, Kenan Casey, Raghu Neelisetti	Real-Time Target Tracking with CPA Algorithm in Wireless Sensor Networks.	SECON	2008	DBLP DOI BibTeX RDF
42	Mihir Bellare, Zvika Brakerski, Moni Naor, Thomas Ristenpart, Gil Segev 0001, Hovav Shacham, Scott Yilek	Hedged Public-Key Encryption: How to Protect against Bad Randomness.	ASIACRYPT	2009	DBLP DOI BibTeX RDF
42	Jan Camenisch, Nishanth Chandran, Victor Shoup	A Public Key Encryption Scheme Secure against Key Dependent Chosen Plaintext and Adaptive Chosen Ciphertext Attacks.	EUROCRYPT	2009	DBLP DOI BibTeX RDF
42	Antonio Forenza, Robert W. Heath Jr.	Optimization methodology for designing 2-CPAs exploiting pattern diversity in clustered MIMO channels.	IEEE Trans. Commun.	2008	DBLP DOI BibTeX RDF
42	Yang Lu 0001, Jiguo Li 0001, Junmo Xiao	Applying the Fujisaki-Okamoto Conversion to Certificate-based Encryption.	ISECS	2008	DBLP DOI BibTeX RDF
42	Huiyun Li, Keke Wu, Bo Peng, Yiwei Zhang, Xinjian Zheng, Fengqi Yu	Enhanced Correlation Power Analysis Attack on Smart Card.	ICYCS	2008	DBLP DOI BibTeX RDF
42	Carmine Ventre, Ivan Visconti	Completely Non-malleable Encryption Revisited.	Public Key Cryptography	2008	DBLP DOI BibTeX RDF
42	Andrey Bogdanov	Multiple-Differential Side-Channel Collision Attacks on AES.	CHES	2008	DBLP DOI BibTeX RDF	multiple-differential collision attacks, AES, collision detection, side-channel attacks, DPA
42	Tingjian Ge, Stanley B. Zdonik	Fast, Secure Encryption for Indexing in a Column-Oriented DBMS.	ICDE	2007	DBLP DOI BibTeX RDF
42	Antonio Forenza, Robert W. Heath Jr.	Benefit of pattern diversity via two-element array of circular patch antennas in indoor clustered MIMO channels.	IEEE Trans. Commun.	2006	DBLP DOI BibTeX RDF
42	Antonio Forenza, Robert W. Heath Jr.	Benefit of Pattern Diversity via 2-Element Array of Circular Path Antennas in Indoor Clustered MIMO Channels.	IEEE Trans. Commun.	2006	DBLP DOI BibTeX RDF
42	Kazukuni Kobara, Hideki Imai	New Chosen-Plaintext Attacks on the One-Wayness of the Modified McEliece PKC Proposed at Asiacrypt 2000.	Public Key Cryptography	2002	DBLP DOI BibTeX RDF
42	Ivan Damgård, Jesper Buus Nielsen	Expanding Pseudorandom Functions; or: From Known-Plaintext Security to Chosen-Plaintext Security.	CRYPTO	2002	DBLP DOI BibTeX RDF
42	Tetsushi Koide, Shin'ichi Wakabayashi, Noriyoshi Yoshida	Pin assignment with global routing for VLSI building block layout.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	1996	DBLP DOI BibTeX RDF
42	Leonie Köhler, Borislav Nikolic, Rolf Ernst, Marc Boyer	Increasing Accuracy of Timing Models: From CPA to CPA+.	DATE	2019	DBLP DOI BibTeX RDF
42	Peter H. Welch, Frederick R. M. Barnes, Jan F. Broenink, Kevin Chalmers, Jan Bækgaard Pedersen, Adam T. Sampson (eds.)	35th Communicating Process Architectures, CPA 2013, organised under the auspices of WoTUG, Edinburgh, Scotland, UK, August 25, 2013	CPA	2013	DBLP BibTeX RDF
42	Greg Michaelson	Costing by Construction.	CPA	2013	DBLP BibTeX RDF
42	Jan Bækgaard Pedersen, Marc L. Smith	ProcessJ: A Possible Future of Process-Oriented Design.	CPA	2013	DBLP BibTeX RDF
42	Carl G. Ritson, Frederick R. M. Barnes	An Evaluation of Intel's Restricted Transactional Memory for CPAs.	CPA	2013	DBLP BibTeX RDF
42	Thomas Gibson-Robinson	FDR3: the Future of CSP Model Checking.	CPA	2013	DBLP BibTeX RDF
42	Thomas Gibson-Robinson	Efficient Simulation of CSP-Like Languages.	CPA	2013	DBLP BibTeX RDF
42	Thomas Gibson-Robinson	Using FDR to Model Check CSP-Like Languages.	CPA	2013	DBLP BibTeX RDF
42	Øyvind Teig	Selective Choice "Feathering" with XCHANs.	CPA	2013	DBLP BibTeX RDF
42	Frederick R. M. Barnes, Thomas Pressnell, Brendan Le Foll	Exploring GPGPU Acceleration of Process-Oriented Simulations.	CPA	2013	DBLP BibTeX RDF
42	Andrew Turner	National HPC Facilities at EPCC: Exploiting Massively Parallel Architectures for Scientific Simulation.	CPA	2013	DBLP BibTeX RDF
42	Rune Møllegård Friborg, John Markus Bjørndalen, Brian Vinter	Scaling PyCSP.	CPA	2013	DBLP BibTeX RDF
42	Sarwar Alam, Humaira Kamal, Alan Wagner	Service Oriented Programming in MPI.	CPA	2013	DBLP BibTeX RDF
42	Martin Rehr, Kenneth Skovhede, Brian Vinter	BPU Simulator.	CPA	2013	DBLP BibTeX RDF
42	Peter H. Welch	An occam Model of XCHANs.	CPA	2013	DBLP BibTeX RDF
42	Rick D. Beton	An Introduction to Go.	CPA	2013	DBLP BibTeX RDF
42	Antoon Hendrik Boode, Hajo Broersma, Jan F. Broenink	Improving the Performance of Periodic Real-time Processes: a Graph Theoretical Approach.	CPA	2013	DBLP BibTeX RDF
42	Paul Howells, Mark d'Inverno	Successful Termination in Timed CSP.	CPA	2013	DBLP BibTeX RDF
42	Michael Quinn Jones, Jan Bækgaard Pedersen	The Distributed Application Debugger.	CPA	2013	DBLP BibTeX RDF
42	Andrew Bate	Scalable Performance for Scala Message-Passing Concurrency.	CPA	2013	DBLP BibTeX RDF
42	Christopher C. R. Jones	A Personal Perspective on the State of HPC in 2013.	CPA	2013	DBLP BibTeX RDF
42	Frederick R. M. Barnes	The Guppy Language: an Update.	CPA	2013	DBLP BibTeX RDF
42	Peter H. Welch	Life of occam-Pi.	CPA	2013	DBLP BibTeX RDF
42	Paul Howells, Mark d'Inverno	Specifying and Analysing Networks of Processes in CSPt (or In Search of Associativity).	CPA	2013	DBLP BibTeX RDF
42	Peter H. Welch, Jan Bækgaard Pedersen, Frederick R. M. Barnes	Mutually Assured Destruction (or the Joy of Sync).	CPA	2013	DBLP BibTeX RDF
42	Øyvind Teig	Names of XCHAN Implementations.	CPA	2013	DBLP BibTeX RDF
42	Thomas Gibson-Robinson, Michael Goldsmith	The Meaning and Implementation of SKIP in CSP.	CPA	2013	DBLP BibTeX RDF
42	Peter H. Welch, Frederick R. M. Barnes, Kevin Chalmers, Jan Bækgaard Pedersen, Adam T. Sampson (eds.)	34th Communicating Process Architectures, CPA 2012, organised under the auspices of WoTUG, Dundee, Scotland, UK, August 26, 2012	CPA	2012	DBLP BibTeX RDF
42	Peter H. Welch	occam Obviously.	CPA	2012	DBLP BibTeX RDF
42	Ye Li	Implementation of an Agent-based Model with TBB Technique.	CPA	2012	DBLP BibTeX RDF
42	James Whitehead II	Designing a Concurrent File Server.	CPA	2012	DBLP BibTeX RDF
42	Øyvind Teig	XCHANs: Notes on a New Channel Type.	CPA	2012	DBLP BibTeX RDF
42	Peter H. Welch	Cancellable Servers - a Pattern for Curiousity.	CPA	2012	DBLP BibTeX RDF
42	Martin Ellis, Frederick R. M. Barnes	Data Escape Analysis for Process Oriented Systems.	CPA	2012	DBLP BibTeX RDF
42	William B. Gardner, Yuriy Solovyov	Supporting Timed CSP Operators in CSP++.	CPA	2012	DBLP BibTeX RDF
42	S. L. M. Barrocas, Marcel Oliveira	JCircus 2.0: an Extension of an Automatic Translator from Circus to Java.	CPA	2012	DBLP BibTeX RDF
42	Peter H. Welch	Unfinished Business - occam-pi².	CPA	2012	DBLP BibTeX RDF
42	S. L. M. Barrocas	JCircus Demo.	CPA	2012	DBLP BibTeX RDF
42	Alex Cole, Alistair A. McEwan, Geoff Mainland	Beauty And The Beast: Exploiting GPUs In Haskell.	CPA	2012	DBLP BibTeX RDF
42	Anna Magdalena Kosek, Oliver Gehrke	A Distributed Multi-Agent Control System for Power Consumption in Buildings.	CPA	2012	DBLP BibTeX RDF
42	Rinse Wester, Dimitrios Sarakiotis, Eric Kooistra, Jan Kuper	Specification of APERTIF Polyphase Filter Bank in ClaSH.	CPA	2012	DBLP BibTeX RDF
42	Andrew Bate, Gavin Lowe	A Debugger for Communicating Scala Objects.	CPA	2012	DBLP BibTeX RDF
42	Mads Ohm Larsen, Brian Vinter	Exception Handling and Checkpointing in CSP.	CPA	2012	DBLP BibTeX RDF
42	Irfan F. Mir, Alistair A. McEwan, Neil J. Perrins	A High Performance Reconfigurable Architecture for Flash File Systems.	CPA	2012	DBLP BibTeX RDF
42	Alex Cole	Handel-C++ - Adding Syntactic Support to C++.	CPA	2012	DBLP BibTeX RDF
42	Neil J. Perrins, Alistair A. McEwan	SEU Protection for High-Reliability Flash File Systems.	CPA	2012	DBLP BibTeX RDF
42	Richard Miller	Polyphonic Processors - Fantasy on an FPGA.	CPA	2012	DBLP BibTeX RDF
42	Oguzcan Oguz, Jan F. Broenink, Angelika Mader	Schedulability Analysis of Timed CSP Models Using the PAT Model Checker.	CPA	2012	DBLP BibTeX RDF
42	Maarten M. Bezemer, Robert J. W. Wilterdink	Developing JIWY using TERRA.	CPA	2012	DBLP BibTeX RDF
42	Adam T. Sampson	Process-Oriented Building Blocks.	CPA	2012	DBLP BibTeX RDF
42	Kevin Chalmers	A Comparison of Message Passing Interface and Communicating Process Architecture Networking Communication Performance.	CPA	2012	DBLP BibTeX RDF
42	Maarten M. Bezemer, Robert J. W. Wilterdink, Jan F. Broenink	Design and Use of CSP Meta-Model for Embedded Control Software Development.	CPA	2012	DBLP BibTeX RDF
42	Peter H. Welch, Adam T. Sampson, Jan Bækgaard Pedersen, Jon M. Kerridge, Jan F. Broenink, Frederick R. M. Barnes (eds.)	33th Communicating Process Architectures Conference, CPA 2011, organised under the auspices of WoTUG, Limerick, Ireland, June 19th, 2011	CPA	2011	DBLP BibTeX RDF
42	Matthew M. Huntbach	A Model for Concurrency Using Single-Writer Single-Assignment Variables.	CPA	2011	DBLP DOI BibTeX RDF
42	Jon M. Kerridge	Experiments in Multicore and Distributed Parallel Processing using JCSP.	CPA	2011	DBLP DOI BibTeX RDF
42	Peter H. Welch, Jan Bækgaard Pedersen, Fred R. M. Barnes, Carl G. Ritson, Neil C. C. Brown	Adding Formal Verification to occam-π.	CPA	2011	DBLP DOI BibTeX RDF
42	James Whitehead II	Serving Web Content with Dynamic Process Networks in Go.	CPA	2011	DBLP DOI BibTeX RDF
42	Martin Korsgaard, Sverre Hendseth	The Computation Time Process Model.	CPA	2011	DBLP DOI BibTeX RDF
42	Douglas N. Warren	Prioritised Choice over Multiway Synchronisation.	CPA	2011	DBLP DOI BibTeX RDF
42	Eric Bonnici, Peter H. Welch	Mobile Processes and Call Channels with Variant Interfaces (a Duality).	CPA	2011	DBLP DOI BibTeX RDF
42	Jeremy C. Posso, Adam T. Sampson, Jonathan Simpson, Jon Timmis	Process-Oriented Subsumption Architectures in Swarm Robotic Systems.	CPA	2011	DBLP DOI BibTeX RDF
42	Rune Møllegaard Friborg, Brian Vinter	Verification of a Dynamic Channel Model using the SPIN Model Checker.	CPA	2011	DBLP DOI BibTeX RDF
42	Carl G. Ritson, Paul S. Andrews, Adam T. Sampson	Object Store Based Simulation Interworking.	CPA	2011	DBLP DOI BibTeX RDF
42	Alex Cole, Alistair A. McEwan, Satnam Singh	An Analysis of Programmer Productivity versus Performance for High Level Data Parallel Programming.	CPA	2011	DBLP DOI BibTeX RDF
42	Yoshinao Isobe	CONPASU-tool: A Concurrent Process Analysis Support Tool based on Symbolic Computation.	CPA	2011	DBLP DOI BibTeX RDF
42	Christian L. Jacobsen, Matthew C. Jadud, Omer Kilic, Adam T. Sampson	Concurrent Event-driven Programming in occam-π for the Arduino.	CPA	2011	DBLP DOI BibTeX RDF
42	Dan Slipper, Alistair A. McEwan	A Systems Re-engineering Case Study: Programming Robots with occam and Handel-C.	CPA	2011	DBLP DOI BibTeX RDF
42	Anna Magdalena Kosek, Aly A. Syed, Jon M. Kerridge	Evaluating an Emergent Behaviour Algorithm in JCSP for Energy Conservation in Lighting Systems.	CPA	2011	DBLP DOI BibTeX RDF
42	Ian Armstrong, Michael Pirrone-Brusse, Anthony Smith, Matthew C. Jadud	The Flying Gator: Towards Aerial Robotics in occam-π.	CPA	2011	DBLP DOI BibTeX RDF