Search results for "Composability"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
97	J. Christian Attiogbé, Pascal André, Gilles Ardourel	Checking Component Composability.	SC@ETAPS	2006	DBLP DOI BibTeX RDF	Behavioural Interface Description, Behavioural Verification, Components, Services, Composability
90	Brahim Medjahed, Athman Bouguettaya	A Multilevel Composability Model for Semantic Web Services.	IEEE Trans. Knowl. Data Eng.	2005	DBLP DOI BibTeX RDF
90	Yehuda Lindell	General Composition and Universal Composability in Secure Multi-Party Computation.	FOCS	2003	DBLP DOI BibTeX RDF
86	Yehuda Lindell	General Composition and Universal Composability in Secure Multiparty Computation.	J. Cryptol.	2009	DBLP DOI BibTeX RDF	Concurrent general composition, Universal composability, Secure computation
79	Ovidiu Valentin Drugan, Ioanna Dionysiou, David E. Bakken, Thomas Plagemann, Carl H. Hauser, Deborah A. Frincke	On the Importance of Composability of Ad Hoc Mobile Middleware and Trust Management.	ISAS	2005	DBLP DOI BibTeX RDF
79	Zhe Dang, Oscar H. Ibarra, Jianwen Su	Composability of Infinite-State Activity Automata.	ISAAC	2004	DBLP DOI BibTeX RDF
74	Claudia Szabo, Yong Meng Teo	An Approach for Validation of Semantic Composability in Simulation Models.	PADS	2009	DBLP DOI BibTeX RDF	semantic composability, simulation, component, validation
61	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
55	Hermann Kopetz, Christian El Salloum, Bernhard Huber, Roman Obermaisser, Christian Paukovits	Composability in the time-triggered system-on-chip architecture.	SoCC	2008	DBLP DOI BibTeX RDF
55	Andrew Chi-Chih Yao, Frances F. Yao, Yunlei Zhao	A Note on the Feasibility of Generalized Universal Composability.	TAMC	2007	DBLP DOI BibTeX RDF
55	Elham Paikari, Jafar Habibi, Soheil Hassas Yeganeh	Semantic Composability Measure for Semantic Web Services.	Asia International Conference on Modelling and Simulation	2007	DBLP DOI BibTeX RDF
55	Baoping Lin, Qing Li 0001, Naijie Gu	A Semantic Specification Framework for Analyzing Functional Composability of Autonomous Web Services.	ICWS	2007	DBLP DOI BibTeX RDF
55	Paul K. Davis, Andreas Tolk	Observations on new developments in composability and multi-resolution modeling.	WSC	2007	DBLP DOI BibTeX RDF
55	Franck Barbier	Composability for Software Components: An Approach Based on the Whole-Part Theory.	ICECCS	2002	DBLP DOI BibTeX RDF
50	Dennis Hofheinz, Dominique Unruh	Simulatable Security and Polynomially Bounded Concurrent Composability.	S&P	2006	DBLP DOI BibTeX RDF	Reactive Simulatability, Universal Composability, concurrent composition
50	Jan Jürjens	Composability of Secrecy.	MMM-ACNS	2001	DBLP DOI BibTeX RDF	formal specification, Network security, refinement, modularity, cryptographic protocols, computer aided software engineering, composability, secrecy
47	Hermann Kopetz	The Temporal Specification of Interfaces in Distributed Real-Time Systems.	EMSOFT	2001	DBLP DOI BibTeX RDF
43	Yevgeniy Dodis, Jonathan Katz, Adam D. Smith, Shabsi Walfish	Composability and On-Line Deniability of Authentication.	TCC	2009	DBLP DOI BibTeX RDF
43	Sebastian Freundt, Peter Horn, Alexander Konovalov 0001, Steve Linton, Dan Roozemond	Symbolic Computation Software Composability.	AISC/MKM/Calculemus	2008	DBLP DOI BibTeX RDF
43	Claudia Szabo, Yong Meng Teo	On Syntactic Composability and Model Reuse.	Asia International Conference on Modelling and Simulation	2007	DBLP DOI BibTeX RDF
43	Juan A. Garay, Philip D. MacKenzie, Manoj Prabhakaran 0001, Ke Yang	Resource Fairness and Composability of Cryptographic Protocols.	TCC	2006	DBLP DOI BibTeX RDF
43	Hessam S. Sarjoughian	Model composability.	WSC	2006	DBLP DOI BibTeX RDF
43	Levent Yilmaz, Andreas Tolk	Engineering ab initio dynamic interoperability and composability via agent-mediated introspective simulation.	WSC	2006	DBLP DOI BibTeX RDF
43	Michael Spiegel, Paul F. Reynolds Jr., David C. Brogan	A case study of model context for simulation composability and reusability.	WSC	2005	DBLP DOI BibTeX RDF
43	Hessam S. Sarjoughian, Dongping Huang	A Multi-Formalism Modeling Composability Framework: Agent and Discrete-Event Models.	DS-RT	2005	DBLP DOI BibTeX RDF
43	Stephen Kasputis, Henry C. Ng	Model composability: formulating a research thrust: composable simulations.	WSC	2000	DBLP BibTeX RDF
42	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
42	Li Gong, Xiaolei Qian	Computational Issues in Secure Interoperation.	IEEE Trans. Software Eng.	1996	DBLP DOI BibTeX RDF	secure composability, algorithms, computational complexity, interoperability, Computer security, database systems
42	Aris Zakinthinos, E. Stewart Lee	How and why feedback composition fails [secure systems].	CSFW	1996	DBLP DOI BibTeX RDF	feedback composition, generalized noninterference, secure components, n-forward correctability, system designer, security of data, composability, necessary and sufficient conditions, restrictiveness
38	Huijia Lin, Rafael Pass, Muthuramakrishnan Venkitasubramaniam	A unified framework for concurrent security: universal composability from stand-alone non-malleability.	STOC	2009	DBLP DOI BibTeX RDF	secure multi-party computation, universal composability, non-malleability
38	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
38	Manoj Prabhakaran 0001, Amit Sahai	New notions of security: achieving universal composability without trusted setup.	STOC	2004	DBLP DOI BibTeX RDF	environmental security, general composition, generalized environmental security, simulation, secure protocols, secure multi-party computation, universal composability
38	Aris Zakinthinos, E. Stewart Lee	The composability of non-interference [system security].	CSFW	1995	DBLP DOI BibTeX RDF	McCullough's conjecture, noninterference composability, feedback, security of data, system security
32	Masayuki Terada, Kazuki Yoneyama, Sadayuki Hongo, Kazuo Ohta	Modeling Agreement Problems in the Universal Composability Framework.	ICICS	2007	DBLP DOI BibTeX RDF
32	Luís Gomes 0001, João Paulo Barros	Structuring and composability issues in Petri nets modeling.	IEEE Trans. Ind. Informatics	2005	DBLP DOI BibTeX RDF
32	Ke Cao, Puneet Dhawan, Jiang Hu	Library cell layout with Alt-PSM compliance and composability.	ASP-DAC	2005	DBLP DOI BibTeX RDF
32	Slobodan Matic, Thomas A. Henzinger	Trading End-to-End Latency for Composability.	RTSS	2005	DBLP DOI BibTeX RDF
32	Jens Groth	Evaluating Security of Voting Schemes in the Universal Composability Framework.	ACNS	2004	DBLP DOI BibTeX RDF
32	Paul C. Davis, Paul A. Fishwick, C. Michael Overstreet, Claude Dennis Pegden	Model composability as a research investment: responses to the featured paper.	WSC	2000	DBLP DOI BibTeX RDF
31	Cyprien Noël	Extensible software transactional memory.	C3S2E	2010	DBLP DOI BibTeX RDF	software architecture, synchronization, transactional memory, concurrent programming, composability, object replication
31	Heidi Pan, Benjamin Hindman, Krste Asanovic	Composing parallel software efficiently with lithe.	PLDI	2010	DBLP DOI BibTeX RDF	cooperative scheduling, oversubscription, user-level scheduling, parallelism, resource management, composability, hierarchical scheduling
31	Christoph Lucas, Dominik Raub, Ueli M. Maurer	Hybrid-secure MPC: trading information-theoretic robustness for computational privacy.	PODC	2010	DBLP DOI BibTeX RDF	hybrid security, party emulation, computational security, information-theoretic security, universal composability, multi-party computation
31	Ryo Nishimaki, Eiichiro Fujisaki, Keisuke Tanaka	Efficient Non-interactive Universally Composable String-Commitment Schemes.	ProvSec	2009	DBLP DOI BibTeX RDF	non-interactive string commitment, all-but-one trapdoor functions, homomorphism, universal composability
31	Ralf Küsters, Anupam Datta, John C. Mitchell, Ajith Ramanathan	On the Relationships between Notions of Simulation-Based Security.	J. Cryptol.	2008	DBLP DOI BibTeX RDF	Simulation-based security, Reactive Simulatability, Black-Box Simulatability, Universal Composability, Process calculus
31	Kaoru Kurosawa, Jun Furukawa 0001	Universally Composable Undeniable Signature.	ICALP (2)	2008	DBLP DOI BibTeX RDF	undeniable signature scheme, Universal composability
31	Jun Furukawa 0001, Frederik Armknecht, Kaoru Kurosawa	A Universally Composable Group Key Exchange Protocol with Minimum Communication Effort.	SCN	2008	DBLP DOI BibTeX RDF	session ID generation, universal composability, Group key exchange
31	Sebastian Gajek	A Universally Composable Framework for the Analysis of Browser-Based Security Protocols.	ProvSec	2008	DBLP DOI BibTeX RDF	browser-based protocols, security model, Universal Composability
31	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
31	Kristian Gjøsteen, Lillian Kråkmo	Universally Composable Signcryption.	EuroPKI	2007	DBLP DOI BibTeX RDF	Secure messaging, signcryption, universal composability
31	Tswen-Juh Gu, Nei-Wei Lo, Wei-Ning Yang	Towards a COTS-based service-oriented simulation architecture.	SCSC	2007	DBLP BibTeX RDF	service-oriented simulation architecture, interoperability, high level architecture, composability
31	Andreas Tolk, Saikou Y. Diallo, Charles D. Turnitsa	Model-based data engineering: preparing a paradigm shift towards self-organizing information exchange.	SCSC	2007	DBLP BibTeX RDF	interoperability, composability, system of systems, data engineering
31	Jesús F. Almansa, Ivan Damgård, Jesper Buus Nielsen	Simplified Threshold RSA with Adaptive and Proactive Security.	EUROCRYPT	2006	DBLP DOI BibTeX RDF	Threshold RSA, Uni-versal Composability, Proactiveness, Adaptive Security
31	Nélio Cacho, Cláudio Sant'Anna, Eduardo Figueiredo 0001, Alessandro F. Garcia 0001, Thaís Vasconcelos Batista, Carlos José Pereira de Lucena	Composing design patterns: a scalability study of aspect-oriented programming.	AOSD	2006	DBLP DOI BibTeX RDF	metrics, design patterns, empirical studies, aspect-oriented programming, composability
31	Jonathan Katz, Ji Sun Shin	Modeling insider attacks on group key-exchange protocols.	CCS	2005	DBLP DOI BibTeX RDF	universal composability, group key exchange, insider attacks
31	Alberto Coen-Porisini, Carlo Ghezzi, Richard A. Kemmerer	Specification of Realtime Systems Using ASTRAL.	IEEE Trans. Software Eng.	1997	DBLP DOI BibTeX RDF	ASLAN, TRIO, Formal methods, temporal logic, assertions, state machines, composability, timing requirements, formal specification and verification, realtime systems
31	Pedro A. Molina, Peter Y. K. Cheung	A Quasi Delay-Insensitive Bus Proposal for Asynchronous Systems.	ASYNC	1997	DBLP DOI BibTeX RDF	Tri-state Buffers, Asynchronous, Composability, Bus, Data Path, Delay-Insensitive, Handshake Circuits
31	Charlotte Pii Lunau	A Reflective Architecture for Process Control Applications.	ECOOP	1997	DBLP DOI BibTeX RDF	Adaptability, Reflection, Composability
31	Jeremy Jacob	A Uniform Presentation of Confidentiality Properties.	IEEE Trans. Software Eng.	1991	DBLP DOI BibTeX RDF	confidentiality properties, information-flow properties, probabilistic security properties, security of data, composability, security property
24	Deepak Mathaikutty, Sandeep K. Shukla	MCF: A Metamodeling-Based Component Composition Framework - Composing SystemC IPs for Executable System Models.	IEEE Trans. Very Large Scale Integr. Syst.	2008	DBLP DOI BibTeX RDF
24	Andreas Tolk, Saikou Y. Diallo, Charles D. Turnitsa	Mathematical models towards self-organizing formal federation languages based on conceptual models of information exchange capabilities.	WSC	2008	DBLP DOI BibTeX RDF
24	Jack B. Dennis	The fresh breeze project: A multi-core chip supporting composable parallel programming.	IPDPS	2008	DBLP DOI BibTeX RDF
24	Saurabh Mittal, José Luis Risco-Martín, Bernard P. Zeigler	DEVSML: automating DEVS execution over SOA towards transparent simulators.	SpringSim (2)	2007	DBLP BibTeX RDF	DEVSML, JavaML, web services, SOA
24	Paul Gustavson, Tram Chase	Building composable bridges between the conceptual space and the implementation space.	WSC	2007	DBLP DOI BibTeX RDF
24	Juan A. Garay, Philip D. MacKenzie, Ke Yang	Strengthening Zero-Knowledge Protocols Using Signatures.	J. Cryptol.	2006	DBLP DOI BibTeX RDF	Simulation soundness, Signatures, Zero knowledge, Non-malleability
24	Reinhard Gotzhein, Ferhat Khendek	Compositional Testing of Communication Systems.	TestCom	2006	DBLP DOI BibTeX RDF
24	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
24	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
24	Kohei Honda 0001, Nobuko Yoshida	A compositional logic for polymorphic higher-order functions.	PPDP	2004	DBLP DOI BibTeX RDF	compositional logics, polymorphim, types, higher-order functions
24	Weirong Wang, Aloysius K. Mok	On the Composition of Real-Time Schedulers.	RTCSA	2003	DBLP DOI BibTeX RDF
24	Juan A. Garay, Philip D. MacKenzie, Ke Yang 0005	Strengthening Zero-Knowledge Protocols Using Signatures.	EUROCRYPT	2003	DBLP DOI BibTeX RDF
24	Nicolas Belloir, Jean-Michel Bruel, Franck Barbier	Whole-Part Relationships for Software Component Combination.	EUROMICRO	2003	DBLP DOI BibTeX RDF
24	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
24	Janos Sztipanovits, Gabor Karsai	Generative programming for embedded systems.	PPDP	2002	DBLP DOI BibTeX RDF
24	Christophe Nicolle, Kokou Yétongnon	XML Enabled Metamodeling and Tools for Cooperative Information Systems.	EC-Web	2001	DBLP DOI BibTeX RDF
24	Furio Honsell, Donald Sannella	Pre-logical Relations.	CSL	1999	DBLP DOI BibTeX RDF
24	C. V. Ramamoorthy, Vijay K. Garg, Atul Prakash 0001	Support for Reusability in Genesis.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	Genesis, reusability-driven development methodology, software resources, entity specification language, functional composition, program abstractors, databases, software development, software tools, software tools, programming environment, programming environments, software reuse, database management systems, query languages, query languages, specification languages, software reusability, file organisation, file organisation, ESL
20	Qiuxian Li, Quanxing Zhou, Hongfa Ding	A Secure and Fair Federated Learning Protocol Under the Universal Composability Framework.	MMM (1)	2024	DBLP DOI BibTeX RDF
20	Manuel Barbosa, Gilles Barthe, Benjamin Grégoire, Adrien Koutsos, Pierre-Yves Strub	Mechanized Proofs of Adversarial Complexity and Application to Universal Composability.	ACM Trans. Priv. Secur.	2023	DBLP DOI BibTeX RDF
20	Kandasamy Muniasamy, Rohit Chadha, Prasad Calyam, M. Sethumadhavan 0001	Analyzing Component Composability of Cloud Security Configurations.	IEEE Access	2023	DBLP DOI BibTeX RDF
20	Abdullah Aziz, Shailesh Singh Chouhan, Olov Schelén, Ulf Bodin	Distributed Digital Twins as Proxies-Unlocking Composability and Flexibility for Purpose-Oriented Digital Twins.	IEEE Access	2023	DBLP DOI BibTeX RDF
20	Dipankar Sarkar 0005	Towards Universal Atomic Composability: A Formal Model for Multi-Rollup Environments on Ethereum.	CoRR	2023	DBLP DOI BibTeX RDF
20	David A. Noever, Samantha Elizabeth Miller Noever	Visual AI and Linguistic Intelligence Through Steerability and Composability.	CoRR	2023	DBLP DOI BibTeX RDF
20	Xiaoxia Wu, Cheng Li 0001, Reza Yazdani Aminabadi, Zhewei Yao, Yuxiong He	Understanding INT4 Quantization for Transformer Models: Latency Speedup, Composability, and Failure Cases.	CoRR	2023	DBLP DOI BibTeX RDF
20	Massimo Bartoletti, Riccardo Marchesin, Roberto Zunino	DeFi composability as MEV non-interference.	CoRR	2023	DBLP DOI BibTeX RDF
20	Paula Arnold, Sebastian Berndt 0001, Jörn Müller-Quade, Astrid Ottenhues	Protection Against Subversion Corruptions via Reverse Firewalls in the plain Universal Composability Framework.	IACR Cryptol. ePrint Arch.	2023	DBLP BibTeX RDF
20	Sebastian Berndt 0001, Thomas Eisenbarth 0001, Sebastian Faust, Marc Gourjon, Maximilian Orlt, Okan Seker	Combined Fault and Leakage Resilience: Composability, Constructions and Compiler.	IACR Cryptol. ePrint Arch.	2023	DBLP BibTeX RDF
20	Ebrahim Aly, Sondoss Elsawah, Hasan Hüseyin Turan, Michael J. Ryan	Designing a pattern language to enhance model composability and reusability: An example with component-based probabilistic models.	Environ. Model. Softw.	2023	DBLP DOI BibTeX RDF
20	Dionysios Diamantopoulos, Burkhard Ringlein, Beat Weiss, Mark A. Lantz, François Abel	Composability of Cloud Accelerators in Virtual World Simulations.	CLOUD	2023	DBLP DOI BibTeX RDF
20	Joseph Jaeger	Let Attackers Program Ideal Models: Modularity and Composability for Adaptive Compromise.	EUROCRYPT (3)	2023	DBLP DOI BibTeX RDF
20	Zoltán Porkoláb, Viktória Zsók (eds.)	Composability, Comprehensibility and Correctness of Working Software - 8th Summer School, CEFP 2019, Budapest, Hungary, June 17-21, 2019, Revised Selected Papers	CEFP	2023	DBLP DOI BibTeX RDF
20	Mike Graf 0001, Ralf Küsters, Daniel Rausch 0001	AUC: Accountable Universal Composability.	SP	2023	DBLP DOI BibTeX RDF
20	Sebastian Berndt 0001, Thomas Eisenbarth 0001, Sebastian Faust, Marc Gourjon, Maximilian Orlt, Okan Seker	Combined Fault and Leakage Resilience: Composability, Constructions and Compiler.	CRYPTO (3)	2023	DBLP DOI BibTeX RDF
20	Xiaoxia Wu, Cheng Li 0001, Reza Yazdani Aminabadi, Zhewei Yao, Yuxiong He	Understanding Int4 Quantization for Language Models: Latency Speedup, Composability, and Failure Cases.	ICML	2023	DBLP BibTeX RDF
20	Orri Erling	Horizons of Composability.	VLDB Workshops	2023	DBLP BibTeX RDF
20	Wataru Endo, Shigeyuki Sato 0001, Kenjiro Taura	ComposableThreads: Rethinking User-level Threads with Composability and Parametricity in C++.	J. Inf. Process.	2022	DBLP DOI BibTeX RDF
20	Guobing Zou, Zhen Qin, Qiang He 0001, Pengwei Wang 0001, Bofeng Zhang, Yanglan Gan	DeepWSC: Clustering Web Services via Integrating Service Composability into Deep Semantic Features.	IEEE Trans. Serv. Comput.	2022	DBLP DOI BibTeX RDF
20	Hyoungsung Kim, Hyun-Sik Kim, Yong-Suk Park	Perpetual Contract NFT as Collateral for DeFi Composability.	IEEE Access	2022	DBLP DOI BibTeX RDF
20	Kor de Jong, Debabrata Panja, Derek Karssenberg, Marc J. van Kreveld	Scalability and composability of flow accumulation algorithms based on asynchronous many-tasks.	Comput. Geosci.	2022	DBLP DOI BibTeX RDF
20	Hyoungsung Kim, Hyun-Sik Kim, Yong-Suk Park	Perpetual Contract NFT as Collateral for DeFi Composability.	CoRR	2022	DBLP DOI BibTeX RDF
20	Shrey Jain, Leon Erichsen, Glen Weyl	A Plural Decentralized Identity Frontier: Abstraction v. Composability Tradeoffs in Web3.	CoRR	2022	DBLP DOI BibTeX RDF