Search results for "composable"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
66	Ioana Sora, Pierre Verbaeten, Yolande Berbers	A Description Language For Composable Components.	FASE	2003	DBLP DOI BibTeX RDF
66	Fan Zhang, Jianfeng Ma 0001, Sang-Jae Moon	Universally composable anonymous Hash certification model.	Sci. China Ser. F Inf. Sci.	2007	DBLP DOI BibTeX RDF	authentication, anonymous, Hash, universal composable security
56	Ioana Sora, Pierre Verbaeten, Yolande Berbers	CCDL: the composable components description language.	Int. J. Softw. Tools Technol. Transf.	2007	DBLP DOI BibTeX RDF
56	Ran Canetti, Eyal Kushilevitz, Yehuda Lindell	On the Limitations of Universally Composable Two-Party Computation Without Set-Up Assumptions.	J. Cryptol.	2006	DBLP DOI BibTeX RDF	Universal composability, Secure two-party computation, Impossibility results
56	Vanja Josifovski, Timour Katchaounov, Tore Risch	Optimizing Queries in Distributed and Composable Mediators.	CoopIS	1999	DBLP DOI BibTeX RDF
56	Takahito Aoto 0001, Yoshihito Toyama	On Composable Properties of Term Rewriting Systems.	ALP/HOA	1997	DBLP DOI BibTeX RDF
55	Huafei Zhu, Feng Bao 0001	Constructing Universally Composable Oblivious Transfers from Double Trap-Door Encryptions.	AFRICACRYPT	2009	DBLP DOI BibTeX RDF	simulator, Oblivious transfer, universally composable
45	Huafei Zhu	Towards a Theory of Universally Composable Cloud Computing.	CloudCom	2009	DBLP DOI BibTeX RDF
45	Xiaoxin Wu 0001, Wei Wang, Ben Lin, Kai Miao	Composable IO: A Novel Resource Sharing Platform in Personal Clouds.	CloudCom	2009	DBLP DOI BibTeX RDF
45	Paul Gustavson, Tram Chase	Building composable bridges between the conceptual space and the implementation space.	WSC	2007	DBLP DOI BibTeX RDF
45	Matthew Flatt, Gang Yu, Robert Bruce Findler, Matthias Felleisen	Adding delimited and composable control to a production programming environment.	ICFP	2007	DBLP DOI BibTeX RDF
45	Frank Huch, Frank Kupke	A High-Level Implementation of Composable Memory Transactions in Concurrent Haskell.	IFL	2005	DBLP DOI BibTeX RDF
45	Ke Xu, Stephen R. Tate	Universally Composable Secure Mobile Agent Computation.	ISC	2004	DBLP DOI BibTeX RDF
45	Ran Canetti, Eyal Kushilevitz, Yehuda Lindell	On the Limitations of Universally Composable Two-Party Computation without Set-up Assumptions.	EUROCRYPT	2003	DBLP DOI BibTeX RDF
45	Ivan Damgård, Jesper Buus Nielsen	Perfect Hiding and Perfect Binding Universally Composable Commitment Schemes with Constant Expansion Factor.	CRYPTO	2002	DBLP DOI BibTeX RDF
45	Andreas Hansson 0001, Kees Goossens, Marco Bekooij, Jos Huisken	CoMPSoC: A template for composable and predictable multi-processor system on chips.	ACM Trans. Design Autom. Electr. Syst.	2009	DBLP DOI BibTeX RDF	predictable, system on chip, network on chip, model of computation, Composable
45	Ivan Damgård, Jesper Buus Nielsen, Daniel Wichs	Universally Composable Multiparty Computation with Partially Isolated Parties.	TCC	2009	DBLP DOI BibTeX RDF	public-key infrastructure, multiparty computation, universally composable security
45	Alfredo Rial, Markulf Kohlweiss, Bart Preneel	Universally Composable Adaptive Priced Oblivious Transfer.	Pairing	2009	DBLP DOI BibTeX RDF	priced oblivious transfer, non-interactive range proofs of knowledge, bilinear maps, Universally composable security
45	Yung-Pin Cheng, Jih-Feng Chen, Ming-Chieh Chiu, Nien-Wei Lai, Chien-Chih Tseng	xDIVA: a debugging visualization system with composable visualization metaphors.	OOPSLA Companion	2008	DBLP DOI BibTeX RDF	composable visualization metaphors, debugging visualization, program visualization
45	Huafei Zhu	Round Optimal Universally Composable Oblivious Transfer Protocols.	ProvSec	2008	DBLP DOI BibTeX RDF	Double trap-door cryptosystems, simulator, oblivious transfer, universally composable
42	Waka Nagao, Yoshifumi Manabe, Tatsuaki Okamoto	Relationship of Three Cryptographic Channels in the UC Framework.	ProvSec	2008	DBLP DOI BibTeX RDF	Secure Channel (SC), Two-Anonymous Channel (2AC), Direction-Indeterminable Channel (DIC), Universal Composability (UC), Probabilistic Input/Output Automaton (PIOA)
35	André Rauber Du Bois, Marcos Echevarria	A Domain Specific Language for Composable Memory Transactions in Java.	DSL	2009	DBLP DOI BibTeX RDF
35	Benjamin C. Lee, Jamison D. Collins, Hong Wang 0003, David M. Brooks	CPR: Composable performance regression for scalable multiprocessor models.	MICRO	2008	DBLP DOI BibTeX RDF
35	Ran Canetti	Composable Formal Security Analysis: Juggling Soundness, Simplicity and Efficiency.	ICALP (2)	2008	DBLP DOI BibTeX RDF
35	Matthew Green 0001, Susan Hohenberger	Universally Composable Adaptive Oblivious Transfer.	ASIACRYPT	2008	DBLP DOI BibTeX RDF
35	Peeter Laud, Long Ngo	Threshold Homomorphic Encryption in the Universally Composable Cryptographic Library.	ProvSec	2008	DBLP DOI BibTeX RDF
35	Changkyu Kim, Simha Sethumadhavan, M. S. Govindan, Nitya Ranganathan, Divya Gulati, Doug Burger, Stephen W. Keckler	Composable Lightweight Processors.	MICRO	2007	DBLP DOI BibTeX RDF
35	Ran Canetti, Yevgeniy Dodis, Rafael Pass, Shabsi Walfish	Universally Composable Security with Global Setup.	TCC	2007	DBLP DOI BibTeX RDF
35	Andrew Chi-Chih Yao, Frances F. Yao, Yunlei Zhao	A Note on Universal Composable Zero Knowledge in Common Reference String Model.	TAMC	2007	DBLP DOI BibTeX RDF
35	Marc Fischlin	Universally Composable Oblivious Transfer in the Multi-party Setting.	CT-RSA	2006	DBLP DOI BibTeX RDF
35	Marc Fischlin	Round-Optimal Composable Blind Signatures in the Common Reference String Model.	CRYPTO	2006	DBLP DOI BibTeX RDF
35	Renato Renner, Robert König	Universally Composable Privacy Amplification Against Quantum Adversaries.	TCC	2005	DBLP DOI BibTeX RDF
35	Michael Ben-Or, Michal Horodecki, Debbie W. Leung, Dominic Mayers, Jonathan Oppenheim	The Universal Composable Security of Quantum Key Distribution.	TCC	2005	DBLP DOI BibTeX RDF
35	Li-Kai Chang, Fu-Chiung Cheng	Automatic Synthesis of Composable Sequential Quantum Boolean Circuits.	ICCD	2005	DBLP DOI BibTeX RDF	Quantum Boolean circuits, Sequentialn circuits, State graph, Synthesis, Asynchronous circuits
35	Philip K. McKinley, Udiyan I. Padmanabhan, Nandagopal Ancha, Seyed Masoud Sadjadi	Composable Proxy Services to Support Collaboration on the Mobile Internet.	IEEE Trans. Computers	2003	DBLP DOI BibTeX RDF	heterogeneous collaborative computing, interactive audio streams, forward error correction, wireless local area networks, Adaptive middleware, component-based design, mobile hosts
35	Qi Shi 0001, Ning Zhang	Applying Composable Security Properties to Assessment of Information Systems.	COMPSAC	1996	DBLP DOI BibTeX RDF
35	Li Guo 0002, Yike Guo, Xiangchuan Tian	IC Cloud: A Design Space for Composable Cloud Computing.	IEEE CLOUD	2010	DBLP DOI BibTeX RDF	IaaS System, Composable Cloud, Cloud Computing
35	Ivan Damgård, Jesper Buus Nielsen, Claudio Orlandi	Essentially Optimal Universally Composable Oblivious Transfer.	ICISC	2008	DBLP DOI BibTeX RDF	Oblivious Transfer, Universally Composable Security
35	Jin Zhou, Yuefei Zhu, TingMao Chang, YaJuan Zhang	Universally Composable Key-Evolving Signature.	CISIM	2007	DBLP DOI BibTeX RDF	Ideal functionality, EUF-ACMA, Key-evolving, Digital signature, Forward-security, Universally composable
35	Michael Backes 0001, Birgit Pfitzmann, Michael Waidner	A composable cryptographic library with nested operations.	CCS	2003	DBLP DOI BibTeX RDF	cryptographically composable operators, security analysis of protocols, cryptography, simulatability
31	Jörn Müller-Quade, Dominique Unruh	Long-Term Security and Universal Composability.	TCC	2007	DBLP DOI BibTeX RDF	long-term security, commitment, zero-knowledge, Universal Composability
31	Sai Susarla, John B. Carter	Flexible Consistency for Wide Area Peer Replication.	ICDCS	2005	DBLP DOI BibTeX RDF
31	Jin Song Dong, Ping Hao, Shengchao Qin, Jun Sun 0001, Wang Yi 0001	Timed Patterns: TCOZ to Timed Automata.	ICFEM	2004	DBLP DOI BibTeX RDF	Modeling and specification formalisms
31	Andrzej Filinski	Representing Monads.	POPL	1994	DBLP DOI BibTeX RDF
31	Zhenyu Hu, JianChun Jiang, Fuchun Sun 0001	Using IND-CVA for constructing secure communication.	Sci. China Ser. F Inf. Sci.	2009	DBLP DOI BibTeX RDF	integrity, authenticated encryption, semantic security, universally composable security, secure channel
31	Yuan Tian 0036, Hao Zhang	GUC-Secure Set-Intersection Computation.	ProvSec	2009	DBLP DOI BibTeX RDF	Secure Set-Intersection Computation, Anonymous Identity-based Encryption, Generalized Universally Composable Security, Secure Multiparty Computation
31	Tao Feng, Fenghua Li, Jianfeng Ma 0001, Sang-Jae Moon	A new approach for UC security concurrent deniable authentication.	Sci. China Ser. F Inf. Sci.	2008	DBLP DOI BibTeX RDF	concurrent deniable authentication, verifiably smooth projective hashing, the decisional composite residuosity assumption, information security, universally composable
31	Bo Qin, Qianhong Wu, Willy Susilo, Yi Mu 0001, Yumin Wang, Zhengtao Jiang	Short Group Signatures Without Random Oracles.	J. Comput. Sci. Technol.	2007	DBLP DOI BibTeX RDF	universally composable model, information security, group signature, standard model
31	Jeffrey D. Weekley, Curtis L. Blais, Donald P. Brutzman	Composing behaviors and swapping bodies with motion capture data in X3D.	Web3D	2007	DBLP DOI BibTeX RDF	Humanoid Animation (H-Anim), XML data archive for motion capture-derived behaviors, blended behaviors and composable bodies prototypes, general pipeline description for motion capture to H-Anim data conversion, motion capture data transformation
31	Ariel Futoransky, Emiliano Kargieman, Carlos Sarraute, Ariel Waissbein	Foundations and applications for secure triggers.	ACM Trans. Inf. Syst. Secur.	2006	DBLP DOI BibTeX RDF	Malicious host problem, secure triggers, obfuscation, universally composable security, mobile code security
31	Qi Shi 0001, Ning Zhang	A general approach to secure components composition.	HASE	1996	DBLP DOI BibTeX RDF	general approach, secure components composition, compatible security requirements, composable security property, connectivity, security of data, security properties
31	Mehmet Aksit	Designing Software Architectures as Knowledge Specializations.	COMPSAC	1996	DBLP DOI BibTeX RDF	knowledge specializations, customer problems, relevant objects, consistent system, composable building blocks, adaptable reusable software architectures, object-oriented programming, object-oriented programming, software reusability, object oriented methods, software architecture design
31	Qi Shi 0001, Ning Zhang	A General Approach to Evaluation of Secure Systems.	COMPSAC	1995	DBLP DOI BibTeX RDF	composable security properties, secure systems, matrices
31	Daryl McCullough	A Hookup Theorem for Multilevel Security.	IEEE Trans. Software Eng.	1990	DBLP DOI BibTeX RDF	user inferences, hookup theorem, trusted multilevel systems, hookup property, secure restrictive composite system, software engineering, security policy, security of data, multilevel security, inference control, composable, security property, restrictiveness, sensitive information
28	Anil K. Goel, Mihnea Andrei	SAP's global data mesh for composable data management supporting cross-domain consumption.	CDMS@VLDB	2022	DBLP BibTeX RDF
28	Preston M. Smith, Erik Gough, Alexander Younts, Brian Werts, Thomas J. Hacker, Norbert Neumeister, Jennifer Wisecaver	The "Geddes" Composable Platform - An Evolution of Community Clusters for a Composable World.	SuperCompCloud@SC	2020	DBLP DOI BibTeX RDF
28	Wo-Hao Ruan, Cheng-Yueh Liu, Kong-Yu Shiu, Shih-Hao Hung, Matt Hsiao, Andy Liang, Keng-Yu Lin	More Exploration to Composable Infrastructure: The Application and Analysis of Composable Memory.	SpringSim	2019	DBLP DOI BibTeX RDF
25	Dean F. Sutherland, William L. Scherlis	Composable thread coloring.	PPoPP	2010	DBLP DOI BibTeX RDF	keywords: state consistency, state confinement, thread policy, java, annotation, multicore, race conditions
25	Mike Burmester, Tri Van Le, Breno de Medeiros, Gene Tsudik	Universally Composable RFID Identification and Authentication Protocols.	ACM Trans. Inf. Syst. Secur.	2009	DBLP DOI BibTeX RDF	authentication and key-exchange protocols, universal composability, RFID security
25	Masayuki Abe, Miyako Ohkubo	A Framework for Universally Composable Non-committing Blind Signatures.	ASIACRYPT	2009	DBLP DOI BibTeX RDF
25	Jan-Phillip Tiesel, Christoph W. Borst	Single-pass rendering of composable volumetric lens effects.	SIGGRAPH Posters	2009	DBLP DOI BibTeX RDF
25	Jan-Phillip Tiesel, Christoph W. Borst, Kaushik Das, Gary L. Kinsland, Christopher M. Best, Vijay B. Baiyya	Composable Volumetric Lenses for Surface Exploration.	VR	2009	DBLP DOI BibTeX RDF
25	Luciano Baresi, Sam Guinea, Liliana Pasquale	Integrated and Composable Supervision of BPEL Processes.	ICSOC	2008	DBLP DOI BibTeX RDF
25	Vipul Goyal, Jonathan Katz	Universally Composable Multi-party Computation with an Unreliable Common Reference String.	TCC	2008	DBLP DOI BibTeX RDF
25	Stephanie Wehner, Jürg Wullschleger	Composable Security in the Bounded-Quantum-Storage Model.	ICALP (2)	2008	DBLP DOI BibTeX RDF
25	Yong Meng Teo, Claudia Szabo	CODES: An Integrated Approach to Composable Modeling and Simulation.	Annual Simulation Symposium	2008	DBLP DOI BibTeX RDF	syntactic composability, semantic composability, model discovery, simulation ontology, model reuse
25	Vittorio Cortellessa, Catia Trubiani	Towards a library of composable models to estimate the performance of security solutions.	WOSP	2008	DBLP DOI BibTeX RDF	tradeoff between performance and security, software security, model composition, generalized stochastic petri nets, software performance modeling
25	Sebastian Gajek, Mark Manulis, Olivier Pereira, Ahmad-Reza Sadeghi, Jörg Schwenk	Universally Composable Security Analysis of TLS.	ProvSec	2008	DBLP DOI BibTeX RDF	TLS/SSL, secure sessions, key exchange, Universal Composability
25	Chris Peikert, Vinod Vaikuntanathan, Brent Waters	A Framework for Efficient and Composable Oblivious Transfer.	CRYPTO	2008	DBLP DOI BibTeX RDF
25	Kazuki Yoneyama, Kazuo Ohta	Ring signatures: universally composable definitions and constructions.	AsiaCCS	2007	DBLP DOI BibTeX RDF	anonymity, ring signature, universal composability, unforgeability
25	Tri Van Le, Mike Burmester, Breno de Medeiros	Universally composable and forward-secure RFID authentication and authenticated key exchange.	AsiaCCS	2007	DBLP DOI BibTeX RDF	RFID authentication and key-exchange protocols, anonymity, forward-security, universal composability
25	TingMao Chang, Yuefei Zhu, Jin Zhou, YaJuan Zhang	Universally Composable Three-Party Key Distribution.	ARES	2007	DBLP DOI BibTeX RDF
25	Eric Van Wyk, Yogesh Mali	Adding Dimension Analysis to Java as a Composable Language Extension.	GTTSE	2007	DBLP DOI BibTeX RDF
25	Hasnain A. Mandviwala, Umakishore Ramachandran, Kathleen Knobe	Capsules: Expressing Composable Computations in a Parallel Programming Model.	LCPC	2007	DBLP DOI BibTeX RDF
25	Eric Van Wyk, Eric Johnson	Composable Language Extensions for Computational Geometry: A Case Study.	HICSS	2007	DBLP DOI BibTeX RDF
25	Omer Horvitz, Jonathan Katz	Universally-Composable Two-Party Computation in Two Rounds.	CRYPTO	2007	DBLP DOI BibTeX RDF
25	Yi Wang, Qiao Lin, Tamal Mukherjee	Composable Behavioral Models and Schematic-Based Simulation of Electrokinetic Lab-on-a-Chip Systems.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2006	DBLP DOI BibTeX RDF
25	Ran Canetti, Jonathan Herzog	Universally Composable Symbolic Analysis of Mutual Authentication and Key-Exchange Protocols.	TCC	2006	DBLP DOI BibTeX RDF
25	Alejandro Hevia	Universally Composable Simultaneous Broadcast.	SCN	2006	DBLP DOI BibTeX RDF
25	Ryo Nishimaki, Yoshifumi Manabe, Tatsuaki Okamoto	Universally Composable Identity-Based Encryption.	VIETCRYPT	2006	DBLP DOI BibTeX RDF	IND-ID-CCA2, universal composition, identity-based encryption
25	David I. August, Sharad Malik, Li-Shiuan Peh, Vijay S. Pai, Manish Vachharajani, Paul Willmann	Achieving Structural and Composable Modeling of Complex Systems.	Int. J. Parallel Program.	2005	DBLP DOI BibTeX RDF	Structural simulation, liberty simulation environment
25	Jaime A. Pavlich-Mariscal, Steven A. Demurjian, Laurent D. Michel	A Framework for Composable Security Definition, Assurance, and Enforcement.	MoDELS (Satellite Events)	2005	DBLP DOI BibTeX RDF
25	Waka Nagao, Yoshifumi Manabe, Tatsuaki Okamoto	A Universally Composable Secure Channel Based on the KEM-DEM Framework.	TCC	2005	DBLP DOI BibTeX RDF
25	Ahto Buldas, Peeter Laud, Märt Saarepera, Jan Willemson	Universally Composable Time-Stamping Schemes with Audit.	ISC	2005	DBLP DOI BibTeX RDF
25	Ran Canetti, Shai Halevi, Jonathan Katz, Yehuda Lindell, Philip D. MacKenzie	Universally Composable Password-Based Key Exchange.	EUROCRYPT	2005	DBLP DOI BibTeX RDF
25	Dennis Hofheinz, Jörn Müller-Quade	Universally Composable Commitments Using Random Oracles.	TCC	2004	DBLP DOI BibTeX RDF	universal composition, cryptographic protocols, commitment, random oracle
25	Ran Canetti	Universally Composable Signature, Certification, and Authentication.	CSFW	2004	DBLP DOI BibTeX RDF
25	Boaz Barak, Ran Canetti, Jesper Buus Nielsen, Rafael Pass	Universally Composable Protocols with Relaxed Set-Up Assumptions.	FOCS	2004	DBLP DOI BibTeX RDF
25	David I. August, Sharad Malik, Li-Shiuan Peh, Vijay S. Pai	Achieving Structural and Composable Modeling of Complex Systems.	IPDPS Next Generation Software Program - NSFNGS - PI Workshop	2004	DBLP DOI BibTeX RDF
25	Nathanael Schärli, Stéphane Ducasse, Oscar Nierstrasz, Roel Wuyts	Composable Encapsulation Policies.	ECOOP	2004	DBLP DOI BibTeX RDF
25	Roland Bouroulet, Hanna Klaudel, Elisabeth Pelz	A Semantics of Security Protocol Language (SPL) using a Class of Composable High-Level Petri Nets.	ACSD	2004	DBLP DOI BibTeX RDF
25	Michael Backes 0001, Dennis Hofheinz	How to Break and Repair a Universally Composable Signature Functionality.	ISC	2004	DBLP DOI BibTeX RDF
25	Douglas Wikström	Universally Composable DKG with Linear Number of Exponentiations.	SCN	2004	DBLP DOI BibTeX RDF
25	Masayuki Abe, Serge Fehr	Adaptively Secure Feldman VSS and Applications to Universally-Composable Threshold Cryptography.	CRYPTO	2004	DBLP DOI BibTeX RDF
25	Kirk Schloegel, David Oglesby, Eric Engstrom, Devesh Bhatt	Composable Code Generation for Model-Based Development.	SCOPES	2003	DBLP DOI BibTeX RDF
25	Barry W. Boehm, Daniel Port, Ye Yang, Jesal Bhuta, Chris Abts	Composable Process Elements for Developing COTS-Based Applications.	ISESE	2003	DBLP DOI BibTeX RDF
25	Ivan Damgård, Jesper Buus Nielsen	Universally Composable Efficient Multiparty Computation from Threshold Homomorphic Encryption.	CRYPTO	2003	DBLP DOI BibTeX RDF
25	Ran Canetti, Hugo Krawczyk	Universally Composable Notions of Key Exchange and Secure Channels.	EUROCRYPT	2002	DBLP DOI BibTeX RDF	Composition of protocols, Cryptographic Protocols, Key Exchange, Proofs of Security
25	Ran Canetti, Yehuda Lindell, Rafail Ostrovsky, Amit Sahai	Universally composable two-party and multi-party secure computation.	STOC	2002	DBLP DOI BibTeX RDF
25	Timour Katchaounov	Query Processing in Self-Profiling Composable Peer-to-Peer Mediator Databases.	EDBT Workshops	2002	DBLP DOI BibTeX RDF