Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
20 | Florian Böhl, Dominique Unruh |
Symbolic Universal Composability. |
CSF |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Luis Sanabria-Russo, Cristina Cano, Boris Bellalta |
Localization procedure for randomly deployed WSNs based on the composability of position estimation protocols. |
IWCMC |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Hessam S. Sarjoughian, James Smith, Gary W. Godding, Mohammed A. Muqsith |
Model composability and execution across simulation, optimization, and forecast models. |
SpringSim (TMS-DEVS) |
2013 |
DBLP BibTeX RDF |
|
20 | Ashish Sabharwal, Horst Samulowitz, Tom Schrijvers, Peter J. Stuckey, Guido Tack |
Automated Design of Search with Composability. |
AAAI (Late-Breaking Developments) |
2013 |
DBLP BibTeX RDF |
|
20 | Andreas Tolk |
Interoperability, Composability, and Their Implications for Distributed Simulation: Towards Mathematical Foundations of Simulation Interoperability. |
DS-RT |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Roland Kammerer, Bernhard Frömel, Roman Obermaisser, Paul Milbredt |
Composability and compositionality in CAN-based automotive systems based on bus and star topologies. |
INDIN |
2013 |
DBLP DOI BibTeX RDF |
|
20 | Max Tuengerthal |
Analysis of real-world security protocols in a universal composability framework. |
|
2013 |
RDF |
|
20 | Claudia Szabo, Yong Meng Teo |
An analysis of the cost of validating semantic composability. |
J. Simulation |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Brian Beckman |
Why LINQ matters: cloud composability guaranteed. |
Commun. ACM |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Emmanouela Stachtiari, Anakreon Mentis, Panagiotis Katsaros |
Rigorous Analysis of Service Composability by Embedding WS-BPEL into the BIP Component Framework. |
ICWS |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Imran Mahmood, Rassul Ayani, Vladimir Vlassov, Farshad Moradi |
Verifying Dynamic Semantic Composability of BOM-Based Composed Models Using Colored Petri Nets. |
PADS |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Mike Rosulek |
Universal Composability from Essentially Any Trusted Setup. |
CRYPTO |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Hajar Omrana, Fatima-Zahra Belouadha, Ounsa Roudiès |
A Composability Model for Efficient Web Service's Connectivity. |
INCoS |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Fatemeh Saremi, Praveen Jayachandran, Forrest N. Iandola, Md. Yusuf Sarwar Uddin, Tarek F. Abdelzaher, Aylin Yener |
On schedulability and time composability of data aggregation networks. |
FUSION |
2012 |
DBLP BibTeX RDF |
|
20 | Yang Shi, Desen Zhang, Mingyan Xiao, Minghua Lu |
SOA-Based Simulation Framework: A Way to Simulation Composability. |
CyberC |
2012 |
DBLP DOI BibTeX RDF |
|
20 | Houda Benali, Narjès Bellamine Ben Saoud |
Towards a component-based framework for interoperability and composability in Modeling and Simulation. |
Simul. |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Juan A. Garay, Philip D. MacKenzie, Manoj Prabhakaran 0001, Ke Yang |
Resource Fairness and Composability of Cryptographic Protocols. |
J. Cryptol. |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Dafna Kidron, Yehuda Lindell |
Impossibility Results for Universal Composability in Public-Key Models and with Fixed Inputs. |
J. Cryptol. |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Andreas Tolk, John A. Miller 0001 |
Enhancing simulation composability and interoperability using conceptual/semantic/ontological models. |
J. Simulation |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Osman Balci, James D. Arthur, William F. Ormsby |
Achieving reusability and composability with a simulation conceptual model. |
J. Simulation |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Serge Fehr, Ran Gelles, Christian Schaffner |
Security and Composability of Randomness Expansion from Bell Inequalities |
CoRR |
2011 |
DBLP BibTeX RDF |
|
20 | Thomas Ristenpart, Hovav Shacham, Thomas Shrimpton |
Careful with Composition: Limitations of Indifferentiability and Universal Composability. |
IACR Cryptol. ePrint Arch. |
2011 |
DBLP BibTeX RDF |
|
20 | Mike Rosulek |
Universal Composability from Essentially Any Trusted Setup. |
IACR Cryptol. ePrint Arch. |
2011 |
DBLP BibTeX RDF |
|
20 | Dennis Hofheinz, Victor Shoup |
GNUC: A New Universal Composability Framework. |
IACR Cryptol. ePrint Arch. |
2011 |
DBLP BibTeX RDF |
|
20 | Benny Akesson, Anca Mariana Molnos, Andreas Hansson 0001, Jude Angelo Ambrose, Kees Goossens |
Composability and Predictability for Independent Application Development, Verification, and Execution. |
Multiprocessor System-on-Chip |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Christina Brzuska, Marc Fischlin, Bogdan Warinschi, Stephen C. Williams |
Composability of bellare-rogaway key exchange protocols. |
CCS |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Everton Carara, Gabriel Marchesan Almeida, Gilles Sassatelli, Fernando Gehm Moraes |
Achieving composability in NoC-based MPSoCs through QoS management at software level. |
DATE |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Edward Jung, Chih-Cheng Hung, Guangzhi Ma, Seonho Choi |
A unified design method utilizing decomposability and composability for secure systems. |
RACS |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Andreas Tolk, Saikou Y. Diallo, Jose J. Padilla, Heber Herencia-Zapana |
Model theoretic implications for agent languages in support of interoperability and composability. |
WSC |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Claudia Szabo, Yong Meng Teo |
An Analysis of the Cost of Validating Semantic Composability. |
PADS |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Adrian Freed, John MacCallum, Andrew Schmeder |
Composability for Musical Gesture Signal Processing using new OSC-based Object and Functional Programming Extensions to Max/MSP. |
NIME |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Hervé Chabanne, Céline Chevalier |
Vaudenay's Privacy Model in the Universal Composability Framework: A Case Study. |
STA Workshops |
2011 |
DBLP DOI BibTeX RDF |
|
20 | Dana Dachman-Soled |
On Black-Box Complexity and Adaptive, Universal Composability of Cryptographic Tasks. |
|
2011 |
DOI RDF |
|
20 | The SCIEnce project |
Symbolic computation software composability protocol and its implementations. |
ACM Commun. Comput. Algebra |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Jörn Müller-Quade, Dominique Unruh |
Long-Term Security and Universal Composability. |
J. Cryptol. |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Jörn Müller-Quade, Renato Renner |
Composability in quantum cryptography |
CoRR |
2010 |
DBLP BibTeX RDF |
|
20 | Javier Fernández Briones, M. de Miguel Miguel, Juan Pedro Silva, Alejandro Alonso 0001 |
On the Requirements for Quality Composability Modeling and Analysis. |
ISORC Workshops |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Jerónimo Castrillón, Ricardo Velasquez, Anastasia Stulova, Weihua Sheng, Jianjiang Ceng, Rainer Leupers, Gerd Ascheid, Heinrich Meyr |
Trace-based KPN composability analysis for mapping simultaneous applications to MPSoC platforms. |
DATE |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Anuj Gupta 0001, Sandeep Hans, Kannan Srinathan, C. Pandu Rangan |
On Composability of Reliable Unicast and Broadcast. |
ICDCN |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Claudia Szabo, Yong Meng Teo |
On Validation of Semantic Composability in Data-Driven Simulation. |
PADS |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Ozan Kahramanogullari, Ferenc Jordán, Corrado Priami |
Composability: Perspectives in Ecological Modeling. |
ANB |
2010 |
DBLP DOI BibTeX RDF |
|
20 | Jin Heo |
Performance composability: An emerging challenge in performance-adaptive systems |
|
2010 |
RDF |
|
20 | Andrew Chi-Chih Yao, Frances F. Yao, Yunlei Zhao |
A note on the feasibility of generalised universal composability. |
Math. Struct. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Dennis Hofheinz, Dominique Unruh, Jörn Müller-Quade |
Polynomial Runtime and Composability. |
IACR Cryptol. ePrint Arch. |
2009 |
DBLP BibTeX RDF |
|
20 | Claudia Szabo, Yong Meng Teo, Simon See |
A Time-based Formalism for the Validation of Semantic Composability. |
WSC |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Takahiro Matsuda 0002, Kanta Matsuura, Jacob C. N. Schuldt |
Efficient Constructions of Signcryption Schemes and Signcryption Composability. |
INDOCRYPT |
2009 |
DBLP DOI BibTeX RDF |
multi-user security, signcryption, generic construction |
20 | Michael Schulze, Georg Lukas |
MLCCA - Multi-Level Composability Check Architecture for Dependable Communication over Heterogeneous Networks. |
ETFA |
2009 |
DBLP DOI BibTeX RDF |
|
20 | Deepak Mathaikutty, Sandeep K. Shukla |
Mining metadata for composability of IPs from SystemC IP library. |
Des. Autom. Embed. Syst. |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Yusuke Okada, Yoshifumi Manabe, Tatsuaki Okamoto |
An optimistic fair exchange protocol and its security in the universal composability framework. |
Int. J. Appl. Cryptogr. |
2008 |
DBLP BibTeX RDF |
|
20 | Radu Stoleru, John A. Stankovic, Sang Hyuk Son |
On composability of localization protocols for wireless sensor networks. |
IEEE Netw. |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Rafael Dowsley, Jeroen van de Graaf, Jörn Müller-Quade, Anderson C. A. Nascimento |
On the Composability of Statistically Secure Bit Commitments. |
IACR Cryptol. ePrint Arch. |
2008 |
DBLP BibTeX RDF |
|
20 | Akash Kumar 0001, Bart Mesman, Bart D. Theelen, Henk Corporaal, Yajun Ha |
Analyzing composability of applications on MPSoC platforms. |
J. Syst. Archit. |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Antoine Marot, Roel Wuyts |
Composability of aspects. |
SPLAT@AOSD |
2008 |
DBLP DOI BibTeX RDF |
|
20 | Dafna Kidron, Yehuda Lindell |
Impossibility Results for Universal Composability in Public-Key Models and with Fixed Inputs. |
IACR Cryptol. ePrint Arch. |
2007 |
DBLP BibTeX RDF |
|
20 | Sridhar Iyengar |
Improving Architectural Composability and Consumability using Communities: Lessons learned from Eclipse, SOA and MDA. |
ICCBSS |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Gary R. Mayer, Hessam S. Sarjoughian |
Complexities of simulating a hybrid agent-landscape model using multi-formalism composability. |
SpringSim (2) |
2007 |
DBLP BibTeX RDF |
poly-formalism, agents, cellular automata, multi-modeling, multi-formalism |
20 | Arnold H. Buss, Curtis L. Blais |
Composability and component-based discrete event simulation. |
WSC |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Ioanna Roussaki, Ioannis V. Papaioannou, Dimitrios T. Tsesmetzis, Julia Kantorovitch, Jarmo Kalaoja, Remco Poortinga |
Ontology Based Service Modelling for Composability in Smart Home Environments. |
AmI Workshops |
2007 |
DBLP DOI BibTeX RDF |
|
20 | Jörn Müller-Quade, Dominique Unruh |
Long-term Security and Universal Composability. |
IACR Cryptol. ePrint Arch. |
2006 |
DBLP BibTeX RDF |
|
20 | Donald Sannella, Andrzej Tarlecki |
Horizontal Composability Revisited. |
Essays Dedicated to Joseph A. Goguen |
2006 |
DBLP DOI BibTeX RDF |
|
20 | David Jonathan Coffin, Christopher D. Clack |
gLINC: identifying composability using group perturbation. |
GECCO |
2006 |
DBLP DOI BibTeX RDF |
genetic algorithms, composition, hierarchical, perturbation, epistasis, linkage learning |
20 | Deepak Mathaikutty, Sandeep K. Shukla |
Mining Metadata for Composability of IPs from SystemC IP Library. |
FDL |
2006 |
DBLP BibTeX RDF |
|
20 | Donghua Xu |
Scalability and Composability Techniques for Network Simulation. |
|
2006 |
RDF |
|
20 | Juan A. Garay, Philip D. MacKenzie, Manoj Prabhakaran 0001, Ke Yang |
Resource Fairness and Composability of Cryptographic Protocols. |
IACR Cryptol. ePrint Arch. |
2005 |
DBLP BibTeX RDF |
|
20 | Dominik Raub, Rainer Steinwandt, Jörn Müller-Quade |
On the Security and Composability of the One Time Pad. |
SOFSEM |
2005 |
DBLP DOI BibTeX RDF |
|
20 | Reto Strobl |
Distributed cryptographic protocols in asynchronous networks with universal composability. |
|
2005 |
RDF |
|
20 | Manoj Prabhakaran 0001, Amit Sahai |
New Notions of Security: Achieving Universal Composability without Trusted Setup. |
IACR Cryptol. ePrint Arch. |
2004 |
DBLP BibTeX RDF |
|
20 | Dominik Raub, Rainer Steinwandt, Jörn Müller-Quade |
On the Security and Composability of the One Time Pad. |
IACR Cryptol. ePrint Arch. |
2004 |
DBLP BibTeX RDF |
|
20 | Boaz Barak, Yehuda Lindell, Tal Rabin |
Protocol Initialization for the Framework of Universal Composability. |
IACR Cryptol. ePrint Arch. |
2004 |
DBLP BibTeX RDF |
|
20 | Levent Yilmaz, Tuncer I. Ören |
Exploring Agent-Supported Simulation Brokering on the Semantic Web: Foundations for a Dynamic Composability Approach. |
WSC |
2004 |
DBLP BibTeX RDF |
|
20 | Adam I. Juda, David C. Parkes |
An Options-Based Method to Solve the Composability Problem in Sequential Auctions. |
AMEC |
2004 |
DBLP DOI BibTeX RDF |
|
20 | Roy Friedman, Roman Vitenberg, Gregory V. Chockler |
On the composability of consistency conditions. |
Inf. Process. Lett. |
2003 |
DBLP DOI BibTeX RDF |
|
20 | Yehuda Lindell |
General Composition and Universal Composability in Secure Multiparty Computation. |
IACR Cryptol. ePrint Arch. |
2003 |
DBLP BibTeX RDF |
|
20 | Martin R. Stytz, Sheila B. Banks |
An Architecture to Address Uncertain Requirements and Composability for Intelligent Agents in Distributed Simulations. |
HIS |
2003 |
DBLP BibTeX RDF |
|
20 | Nalini Venkatasubramanian |
Safe 'composability' of middleware services. |
Commun. ACM |
2002 |
DBLP DOI BibTeX RDF |
|
20 | Jens Groth |
Evaluating Security of Voting Schemes in the Universal Composability Framework. |
IACR Cryptol. ePrint Arch. |
2002 |
DBLP BibTeX RDF |
|
20 | Hermann Kopetz |
Composability in Distributed Real-Time Systems. |
ICDCS |
2002 |
DBLP BibTeX RDF |
|
20 | H. Shrikumar |
Data composability in Myriad Nets: De-layering in billion node mobile networks (invited talk). |
MobiDE |
2001 |
DBLP DOI BibTeX RDF |
|
20 | Brett Butler |
Simulation Composability for JSIMS. |
DIS-RT |
1998 |
DBLP DOI BibTeX RDF |
|
20 | Robert Harper 0001, Peter Lee 0001 |
Research in Programming Languages for Composability, Safety, and Performance. |
ACM Comput. Surv. |
1996 |
DBLP DOI BibTeX RDF |
|
20 | Tim Anderson, Clare Smith |
"Composability": Widening Participation in Music Making for People with Disabilities via Music Software and Controller Solutions. |
International ACM Conference on Assistive Technologies |
1996 |
DBLP DOI BibTeX RDF |
education, composition, music, visual impairment, MIDI, adaptive technology, physical disability |
20 | Aris Zakinthinos, E. Stewart Lee |
The Composability of Non-Interference. |
J. Comput. Secur. |
1995 |
DBLP DOI BibTeX RDF |
|
20 | Li Gong, Xiaolei Qian |
The complexity and composability of secure interoperation. |
S&P |
1994 |
DBLP DOI BibTeX RDF |
|
20 | Alberto Coen-Porisini, Richard A. Kemmerer |
The Composability of ASTRAL Realtime Specifications. |
ISSTA |
1993 |
DBLP DOI BibTeX RDF |
|
20 | Catherine Meadows 0001 |
Using traces based on procedure calls to reason about composability. |
S&P |
1992 |
DBLP DOI BibTeX RDF |
|
20 | Daryl McCullough |
Noninterference and the composability of security properties. |
S&P |
1988 |
DBLP DOI BibTeX RDF |
|
20 | Fernando Orejas |
A Proof System for Verifying Composability of Abstract Implementations. |
Semantics of Data Types |
1984 |
DBLP DOI BibTeX RDF |
|
20 | Fernando Orejas |
Characterizing Composability of Abstract Implementations. |
FCT |
1983 |
DBLP DOI BibTeX RDF |
|
20 | Kevin C. McCoy |
Testing the readability and composability of computer programs: methodology. |
ACM SIGPLAN Notices |
1974 |
DBLP DOI BibTeX RDF |
|
19 | Jin Heo, Praveen Jayachandran, Insik Shin, Dong Wang 0002, Tarek F. Abdelzaher, Xue Liu 0001 |
OptiTuner: On Performance Composition and Server Farm Energy Minimization Application. |
IEEE Trans. Parallel Distributed Syst. |
2011 |
DBLP DOI BibTeX RDF |
Performance composability, energy minimization, data center, software service, server farm |
19 | Juan A. Garay, Aggelos Kiayias, Hong-Sheng Zhou |
A Framework for the Sound Specification of Cryptographic Tasks. |
CSF |
2010 |
DBLP DOI BibTeX RDF |
security definitions, lattices and partial orders, Cryptographic protocols, universal composability |
19 | 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 |
19 | Derek Dreyer, Andreas Rossberg |
Mixin' up the ML module system. |
ICFP |
2008 |
DBLP DOI BibTeX RDF |
ML modules, hierarchical composability, mixin modules, type systems, abstract data types, recursive modules |
19 | 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) |
19 | 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 |
19 | Kazuki Yoneyama, Kazuo Ohta |
Ring signatures: universally composable definitions and constructions. |
AsiaCCS |
2007 |
DBLP DOI BibTeX RDF |
anonymity, ring signature, universal composability, unforgeability |
19 | Alessandro Garcia 0001, Thaís Vasconcelos Batista, Awais Rashid, Cláudio Sant'Anna |
Driving and managing architectural decisions with aspects. |
ACM SIGSOFT Softw. Eng. Notes |
2006 |
DBLP DOI BibTeX RDF |
modularity, aspect-oriented software development, composability, early aspects, architectural decisions |
19 | Dennis Hofheinz, Jörn Müller-Quade, Dominique Unruh |
Polynomial Runtime in Simulatability Definitions. |
CSFW |
2005 |
DBLP DOI BibTeX RDF |
reactive simulatability, universal composability, multi-party computation |
19 | Horst F. Wedde, Mario Lischka |
Modular authorization and administration. |
ACM Trans. Inf. Syst. Secur. |
2004 |
DBLP DOI BibTeX RDF |
Petri-Nets, Modularity, composability, work-flow |
19 | Christian Cachin, Reto Strobl |
Asynchronous group key exchange with failures. |
PODC |
2004 |
DBLP DOI BibTeX RDF |
provable security, group communication, universal composability, group key exchange |