|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 494 occurrences of 344 keywords
|
|
|
Results
Found 1178 publication records. Showing 1178 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
15 | Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler |
Verifying SystemC Using Intermediate Verification Language and Stateful Symbolic Simulation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. ![In: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 38(7), pp. 1359-1372, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Steven Chen, Nicholas Carlini, David A. Wagner 0001 |
Stateful Detection of Black-Box Adversarial Attacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1907.05587, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
15 | Abubakar Siddique Muqaddas, German Sviridov, Paolo Giaccone, Andrea Bianco |
Optimal state replication in stateful data planes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1912.03025, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
15 | Raphael Durner, Amir Varasteh, Max Stephan, Carmen Mas Machuca, Wolfgang Kellerer |
HNLB: Utilizing Hardware Matching Capabilities of NICs for Offloading Stateful Load Balancers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1902.03430, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
15 | Tal Ben-Nun, Johannes de Fine Licht, Alexandros Nikolaos Ziogas, Timo Schneider, Torsten Hoefler |
Stateful Dataflow Multigraphs: A Data-Centric Model for High-Performance Parallel Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1902.10345, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
15 | Gang Liu 0020, Wei Quan 0001, Nan Cheng, Hongke Zhang, Shui Yu 0001 |
Efficient DDoS attacks mitigation for stateful forwarding in Internet of Things. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Netw. Comput. Appl. ![In: J. Netw. Comput. Appl. 130, pp. 1-13, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Adil Akhter, Marios Fragkoulis, Asterios Katsifodimos |
Stateful Functions as a Service in Action. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. VLDB Endow. ![In: Proc. VLDB Endow. 12(12), pp. 1890-1893, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Francesco Paolucci, Federico Civerchia, Andrea Sgambelluri, Alessio Giorgetti, Filippo Cugini, Piero Castoldi |
P4 Edge Node Enabling Stateful Traffic Engineering and Cyber Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JOCN ![In: JOCN 11(1), pp. A84-A95, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Ray Bellis, Stuart Cheshire, John Dickinson, S. Dickinson, Ted Lemon, Tom Pusateri |
DNS Stateful Operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RFC ![In: RFC 8490, pp. 1-64, March 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Udayasree Palle, Dhruv Dhody, Yosuke Tanaka, Vishnu Pavan Beeram |
Stateful Path Computation Element (PCE) Protocol Extensions for Usage with Point-to-Multipoint TE Label Switched Paths (LSPs). ![Search on Bibsonomy](Pics/bibsonomy.png) |
RFC ![In: RFC 8623, pp. 1-33, June 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Maurantonio Caprolu, Simone Raponi, Roberto Di Pietro |
FORTRESS: An Efficient and Distributed Firewall for Stateful Data Plane SDN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Secur. Commun. Networks ![In: Secur. Commun. Networks 2019, pp. 6874592:1-6874592:16, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Cristian Hristea, Ferucio Laurentiu Tiplea |
Privacy of Stateful RFID Systems with Constant Tag Identifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2019, pp. 831, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
15 | Xuan Hu, Michael J. Schultis, Matthew Kramer, Archit Bagla, Akshay Shetty, Joseph S. Friedman |
Overhead Requirements for Stateful Memristor Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Circuits Syst. I Regul. Pap. ![In: IEEE Trans. Circuits Syst. I Regul. Pap. 66-I(1), pp. 263-273, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Kyung Min Kim, R. Stanley Williams |
A Family of Stateful Memristor Gates for Complete Cascading Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Circuits Syst. I Regul. Pap. ![In: IEEE Trans. Circuits Syst. I Regul. Pap. 66-I(11), pp. 4348-4355, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Joonsang Baek, Willy Susilo, Khaled Salah 0001, Jun Su Ha, Ernesto Damiani, Ilsun You |
Stateful Public-Key Encryption: A Security Solution for Resource-Constrained Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Advances in Cyber Security ![In: Advances in Cyber Security: Principles, Techniques, and Applications., pp. 1-22, 2019, Springer, 978-981-13-1482-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Eero Lehtonen, Jussi H. Poikonen, Mika Laiho |
Memristive Stateful Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Handbook of Memristor Networks ![In: Handbook of Memristor Networks., pp. 1101-1121, 2019, Springer, 978-3-319-76374-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Adrian Bartnik, Bonaventura Del Monte, Tilmann Rabl, Volker Markl |
On-the-fly Reconfiguration of Query Plans for Stateful Stream Processing Engines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
BTW ![In: Datenbanksysteme für Business, Technologie und Web (BTW 2019), 18. Fachtagung des GI-Fachbereichs „Datenbanken und Informationssysteme` (DBIS), 4.-8. März 2019, Rostock, Germany, Proceedings, pp. 127-146, 2019, Gesellschaft für Informatik, Bonn, 978-3-88579-683-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Huayi Duan, Cong Wang 0001, Xingliang Yuan, Yajin Zhou, Qian Wang 0002, Kui Ren 0001 |
LightBox: Full-stack Protected Stateful Middlebox at Lightning Speed. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, CCS 2019, London, UK, November 11-15, 2019., pp. 2351-2367, 2019, ACM, 978-1-4503-6747-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Md Iftakharul Islam, Javed I. Khan |
Leveraging Domino to Implement RCP in a Stateful Programmable Pipeline. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HPSR ![In: 20th IEEE International Conference on High Performance Switching and Routing, HPSR 2019, Xi'an, China, May 26-29, 2019, pp. 1-6, 2019, IEEE, 978-1-7281-1686-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Raphael Durner, Amir Varasteh, Max Stephan, Carmen Mas Machuca, Wolfgang Kellerer |
HNLB: Utilizing Hardware Matching Capabilities of NICs for Offloading Stateful Load Balancers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICC ![In: 2019 IEEE International Conference on Communications, ICC 2019, Shanghai, China, May 20-24, 2019, pp. 1-7, 2019, IEEE, 978-1-5386-8088-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Leila Abdollahi Vayghan, Mohamed Aymen Saied, Maria Toeroe, Ferhat Khendek |
Microservice Based Architecture: Towards High-Availability for Stateful Applications with Kubernetes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QRS ![In: 19th IEEE International Conference on Software Quality, Reliability and Security, QRS 2019, Sofia, Bulgaria, July 22-26, 2019, pp. 176-185, 2019, IEEE, 978-1-7281-3927-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Hamid Reza Ghaeini, Nils Ole Tippenhauer, Jianying Zhou 0001 |
Zero Residual Attacks on Industrial Control Systems and Stateful Countermeasures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARES ![In: Proceedings of the 14th International Conference on Availability, Reliability and Security, ARES 2019, Canterbury, UK, August 26-29, 2019., pp. 80:1-80:10, 2019, ACM, 978-1-4503-7164-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Li Wang, Tom Z. J. Fu, Richard T. B. Ma, Marianne Winslett, Zhenjie Zhang |
Elasticutor: Rapid Elasticity for Realtime Stateful Stream Processing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMOD Conference ![In: Proceedings of the 2019 International Conference on Management of Data, SIGMOD Conference 2019, Amsterdam, The Netherlands, June 30 - July 5, 2019., pp. 573-588, 2019, ACM, 978-1-4503-5643-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Stefan Karlsson |
Exploratory test agents for stateful software systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/SIGSOFT FSE 2019, Tallinn, Estonia, August 26-30, 2019., pp. 1164-1167, 2019, ACM, 978-1-4503-5572-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Xiaoning Du 0001, Xiaofei Xie, Yi Li 0008, Lei Ma 0003, Yang Liu 0003, Jianjun Zhao 0001 |
DeepStellar: model-based quantitative analysis of stateful deep learning systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESEC/SIGSOFT FSE ![In: Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/SIGSOFT FSE 2019, Tallinn, Estonia, August 26-30, 2019., pp. 477-487, 2019, ACM, 978-1-4503-5572-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Junaid Khalid, Aditya Akella |
Correctness and Performance for Stateful Chained Network Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NSDI ![In: 16th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2019, Boston, MA, February 26-28, 2019., pp. 501-516, 2019, USENIX Association. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
15 | Salvatore Pontarelli, Roberto Bifulco, Marco Bonola, Carmelo Cascone, Marco Spaziani Brunella, Valerio Bruschi, Davide Sanvito, Giuseppe Siracusano, Antonio Capone, Michio Honda, Felipe Huici |
FlowBlaze: Stateful Packet Processing in Hardware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NSDI ![In: 16th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2019, Boston, MA, February 26-28, 2019., pp. 531-548, 2019, USENIX Association. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
15 | Soo-Jin Moon, Jeffrey Helt, Yifei Yuan, Yves Bieri, Sujata Banerjee, Vyas Sekar, Wenfei Wu, Mihalis Yannakakis, Ying Zhang |
Alembic: Automated Model Inference for Stateful Network Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NSDI ![In: 16th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2019, Boston, MA, February 26-28, 2019., pp. 699-718, 2019, USENIX Association. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
15 | Angelo Tulumello, Giacomo Belocchi, Marco Bonola, Salvatore Pontarelli, Giuseppe Bianchi 0001 |
Pushing Services to the Edge Using a Stateful Programmable Dataplane. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuCNC ![In: European Conference on Networks and Communications, EuCNC 2019, Valencia, Spain, June 18-21, 2019, pp. 389-393, 2019, IEEE, 978-1-7281-0546-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Angello Astorga, P. Madhusudan, Shambwaditya Saha, Shiyu Wang, Tao Xie 0001 |
Learning stateful preconditions modulo a test generator. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2019, Phoenix, AZ, USA, June 22-26, 2019., pp. 775-787, 2019, ACM, 978-1-4503-6712-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Helge Dickel, Vladimir Podolskiy, Michael Gerndt |
Evaluation of Autoscaling Metrics for (stateful) IoT Gateways. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOCA ![In: 12th IEEE Conference on Service-Oriented Computing and Applications, SOCA 2019, Kaohsiung, Taiwan, November 18-21, 2019, pp. 17-24, 2019, IEEE, 978-1-7281-5411-4. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Jiamin Cao, Ying Liu 0024, Yu Zhou 0008, Chen Sun 0005, Yangyang Wang 0001, Jun Bi |
CoFilter: A High-Performance Switch-Accelerated Stateful Packet Filter for Bare-Metal Servers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCCN ![In: 28th International Conference on Computer Communication and Networks, ICCCN 2019, Valencia, Spain, July 29 - August 1, 2019, pp. 1-9, 2019, IEEE, 978-1-7281-1856-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Federico Montori, Emanuele Cortesi, Luca Bedogni, Andrea Capponi, Claudio Fiandrino, Luciano Bononi |
CrowdSenSim 2.0: a Stateful Simulation Platform for Mobile Crowdsensing in Smart Cities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MSWiM ![In: Proceedings of the 22nd International ACM Conference on Modeling, Analysis and Simulation of Wireless and Mobile Systems, MSWiM 2019, Miami Beach, FL, USA, November 25-29, 2019, pp. 289-296, 2019, ACM, 978-1-4503-6904-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Alexander Zeier, Alexander Wiesmaier, Andreas Heinemann |
API Usability of Stateful Signature Schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IWSEC ![In: Advances in Information and Computer Security - 14th International Workshop on Security, IWSEC 2019, Tokyo, Japan, August 28-30, 2019, Proceedings, pp. 221-240, 2019, Springer, 978-3-030-26833-6. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Umesh Deshpande |
Caravel: Burst Tolerant Scheduling for Containerized Stateful Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: 39th IEEE International Conference on Distributed Computing Systems, ICDCS 2019, Dallas, TX, USA, July 7-10, 2019, pp. 1432-1442, 2019, IEEE, 978-1-7281-2519-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Andrea Sgambelluri, Olivier Dugeon, Karine Sevilla, Fabio Ubaldi, Paolo Monti 0001, Óscar González de Dios, Francesco Paolucci |
Multi-Operator Orchestration of Connectivity Services Exploiting Stateful BRPC and BGP-LS in the 5GEx Sandbox. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OFC ![In: Optical Fiber Communications Conference and Exhibition, OFC 2019, San Diego, CA, USA, March 3-7, 2019, pp. 1-3, 2019, IEEE, 978-1-943580-53-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
15 | Feng Wang 0046, Guojie Luo, Guangyu Sun 0003, Jiaxi Zhang 0001, Peng Huang 0004, Jinfeng Kang |
Parallel Stateful Logic in RRAM: Theoretical Analysis and Arithmetic Design. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASAP ![In: 30th IEEE International Conference on Application-specific Systems, Architectures and Processors, ASAP 2019, New York, NY, USA, July 15-17, 2019, pp. 157-164, 2019, IEEE, 978-1-7281-1601-3. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Vaggelis Atlidakis, Patrice Godefroid, Marina Polishchuk |
RESTler: stateful REST API fuzzing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: Proceedings of the 41st International Conference on Software Engineering, ICSE 2019, Montreal, QC, Canada, May 25-31, 2019, pp. 748-758, 2019, IEEE / ACM, 978-1-7281-0869-8. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Tal Ben-Nun, Johannes de Fine Licht, Alexandros Nikolaos Ziogas, Timo Schneider, Torsten Hoefler |
Stateful dataflow multigraphs: a data-centric model for performance portability on heterogeneous architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC ![In: Proceedings of the International Conference for High Performance Computing, Networking, Storage and Analysis, SC 2019, Denver, Colorado, USA, November 17-19, 2019., pp. 81:1-81:14, 2019, ACM, 978-1-4503-6229-0. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Martin Bulín, Lubos Smídl, Jan Svec |
On Using Stateful LSTM Networks for Key-Phrase Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TSD ![In: Text, Speech, and Dialogue - 22nd International Conference, TSD 2019, Ljubljana, Slovenia, September 11-13, 2019, Proceedings, pp. 287-298, 2019, Springer, 978-3-030-27946-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Zouheir Trabelsi, Safaa Zeidan |
Resilence of Network Stateful Firewalls against Emerging DoS Attacks: A Case Study of the BlackNurse Attack. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AICCSA ![In: 16th IEEE/ACS International Conference on Computer Systems and Applications, AICCSA 2019, Abu Dhabi, UAE, November 3-7, 2019, pp. 1-8, 2019, IEEE Computer Society, 978-1-7281-5052-9. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Daniel Barcelona Pons, Marc Sánchez Artigas, Gerard París, Pierre Sutra, Pedro García López |
On the FaaS Track: Building Stateful Distributed Applications with Serverless Architectures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Middleware ![In: Proceedings of the 20th International Middleware Conference, Middleware 2019, Davis, CA, USA, December 9-13, 2019., pp. 41-54, 2019, ACM, 978-1-4503-7009-7. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Haotian Zhang, Yang Yu 0027, Maolin Pan |
Heuristic Load Scheduling Algorithm for Stateful Cloud BPM Engine. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAAP ![In: Parallel Architectures, Algorithms and Programming - 10th International Symposium, PAAP 2019, Guangzhou, China, December 12-14, 2019, Revised Selected Papers, pp. 209-220, 2019, Springer, 978-981-15-2766-1. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Aris Chronarakis, Antonis Papaioannou, Kostas Magoutis |
On the Impact of log Compaction on Incrementally Checkpointing Stateful Stream-Processing Operators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SRDS Workshops ![In: 38th International Symposium on Reliable Distributed Systems Workshops, SRDS Workshops 2019, Lyon, France, October 1-4, 2019, pp. 1-6, 2019, IEEE, 978-1-7281-4255-5. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
15 | Phuc C. Nguyen, Thomas Gilray, Sam Tobin-Hochstadt, David Van Horn |
Soft contract verification for higher-order stateful programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Proc. ACM Program. Lang. ![In: Proc. ACM Program. Lang. 2(POPL), pp. 51:1-51:30, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Zheng Yang 0001, Chao Liu 0026, Wanping Liu, Daigu Zhang, Song Luo |
A new strong security model for stateful authenticated group key exchange. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Inf. Sec. ![In: Int. J. Inf. Sec. 17(4), pp. 423-440, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Zouheir Trabelsi, Safaa Zeidan, Khaled Shuaib, Khaled Salah 0001 |
Improved Session Table Architecture for Denial of Stateful Firewall Attacks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Access ![In: IEEE Access 6, pp. 35528-35543, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Yasmin Halawani, Muath Abu Lebdeh, Baker Mohammad, Mahmoud Al-Qutayri, Said F. Al-Sarawi |
Stateful Memristor-Based Search Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Very Large Scale Integr. Syst. ![In: IEEE Trans. Very Large Scale Integr. Syst. 26(12), pp. 2773-2780, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Carmelo Cascone, Roberto Bifulco, Salvatore Pontarelli, Antonio Capone |
Relaxing state-access constraints in stateful programmable data planes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Commun. Rev. ![In: Comput. Commun. Rev. 48(1), pp. 3-9, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Junhua Fang, Rong Zhang 0002, Tom Z. J. Fu, Zhenjie Zhang, Aoying Zhou, Xiaofang Zhou 0001 |
Distributed Stream Rebalance for Stateful Operator Under Workload Variance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 29(10), pp. 2223-2240, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Ahsan Mahmood, Claudio Casetti, Carla-Fabiana Chiasserini, Paolo Giaccone, Jérôme Härri |
Efficient caching through stateful SDN in named data networking. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Trans. Emerg. Telecommun. Technol. ![In: Trans. Emerg. Telecommun. Technol. 29(1), 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Ankur Chowdhary, Dijiang Huang, Adel Alshamrani, Abdulhakim Sabur, Myong H. Kang, Anya Kim, Alexander Velazquez |
SDFW: SDN-based Stateful Distributed Firewall. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1811.00634, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
15 | Thomas Powell 0001 |
Computational interpretations of classical reasoning: From the epsilon calculus to stateful programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1812.05851, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
15 | Eduard Kamburjan, Tzu-Chun Chen |
Stateful Behavioral Types for ABS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1802.08492, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
15 | Xiaoning Du 0001, Xiaofei Xie, Yi Li 0008, Lei Ma 0003, Jianjun Zhao 0001, Yang Liu 0003 |
DeepCruiser: Automated Guided Testing for Stateful Deep Learning Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1812.05339, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
15 | Sarvar Patel, Giuseppe Persiano, Kevin Yeo |
Private Stateful Information Retrieval. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2018, pp. 1083, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
15 | Phillip Rogaway, Yusi Zhang |
Simplifying Game-Based Definitions: Indistinguishability up to Correctness and Its Application to Stateful AE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IACR Cryptol. ePrint Arch. ![In: IACR Cryptol. ePrint Arch. 2018, pp. 558, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
15 | Gábor Lencse, Youki Kadobayashi |
Methodology for the identification of potential security issues of different IPv6 transition technologies: Threat analysis of DNS64 and stateful NAT64. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comput. Secur. ![In: Comput. Secur. 77, pp. 397-411, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Jike Ge, Wenbo He, Zuqin Chen, Can Liu, Jun Peng, Guorong Chen |
A Fine-Grained Stateful Data Analytics Method Based on Resilient State Table. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Softw. Sci. Comput. Intell. ![In: Int. J. Softw. Sci. Comput. Intell. 10(2), pp. 66-79, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Sevil Dräxler, Stefan Schneider 0008, Holger Karl |
Scaling and Placing Bidirectional Services with Stateful Virtual and Physical Network Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NetSoft ![In: 4th IEEE Conference on Network Softwarization and Workshops, NetSoft 2018, Montreal, QC, Canada, June 25-29, 2018, pp. 123-131, 2018, IEEE, 978-1-5386-4633-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Ali Zeineddine, Wassim El-Hajj |
Stateful Distributed Firewall as a Service in SDN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NetSoft ![In: 4th IEEE Conference on Network Softwarization and Workshops, NetSoft 2018, Montreal, QC, Canada, June 25-29, 2018, pp. 212-216, 2018, IEEE, 978-1-5386-4633-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Emanuele Bellini 0002, Florian Caullery, Alexandros Hasikos, Marc Manzano, Víctor Mateu |
You Shall Not Pass! (Once Again): An IoT Application of Post-quantum Stateful Signature Schemes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APKC@AsiaCCS ![In: Proceedings of the 5th ACM on ASIA Public-Key Cryptography Workshop, APKC@AsiaCCS, Incheon, Republic of Korea, June 4, 2018, pp. 19-24, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Sarvar Patel, Giuseppe Persiano, Kevin Yeo |
Private Stateful Information Retrieval. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, CCS 2018, Toronto, ON, Canada, October 15-19, 2018, pp. 1002-1019, 2018, ACM, 978-1-4503-5693-0. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Umar Ozeer, Xavier Etchevers, Loïc Letondeur, François-Gaël Ottogalli, Gwen Salaün, Jean-Marc Vincent |
Resilience of Stateful IoT Applications in a Dynamic Fog Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MobiQuitous ![In: Proceedings of the 15th EAI International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services, MobiQuitous 2018, 5-7 November 2018, New York City, NY, USA, pp. 332-341, 2018, ACM, 978-1-4503-6093-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Prabhakar Krishnan, Krishnashree Achuthan |
Managing Network Functions in Stateful Application Aware SDN. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSCC ![In: Security in Computing and Communications - 6th International Symposium, SSCC 2018, Bangalore, India, September 19-22, 2018, Revised Selected Papers, pp. 88-103, 2018, Springer, 978-981-13-5825-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Walber Jose Adriano Silva |
Avoiding Inconsistency in OpenFlow Stateful Applications Caused by Multiple Flow Requests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICNC ![In: 2018 International Conference on Computing, Networking and Communications, ICNC 2018, Maui, HI, USA, March 5-8, 2018, pp. 548-553, 2018, IEEE Computer Society, 978-1-5386-3652-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Pakapol Krongbaramee, Yuthapong Somchit |
Implementation of SDN Stateful Firewall on Data Plane using Open vSwitch. ![Search on Bibsonomy](Pics/bibsonomy.png) |
JCSSE ![In: 15th International Joint Conference on Computer Science and Software Engineering, JCSSE 2018, Nakhonpathom, Thailand, July 11-13, 2018, pp. 1-5, 2018, IEEE, 978-1-5386-5538-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Gyewon Lee, Jeongyoon Eo, Jangho Seo, Taegeon Um, Byung-Gon Chun |
High-Performance Stateful Stream Processing on Solid-State Drives. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSys ![In: Proceedings of the 9th Asia-Pacific Workshop on Systems, APSys 2018, Jeju Island, Republic of Korea, August 27-28, 2018, pp. 9:1-9:7, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Jannik Dreier, Lucca Hirschi, Sasa Radomirovic, Ralf Sasse |
Automated Unbounded Verification of Stateful Cryptographic Protocols with Exclusive OR. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 31st IEEE Computer Security Foundations Symposium, CSF 2018, Oxford, United Kingdom, July 9-12, 2018, pp. 359-373, 2018, IEEE Computer Society, 978-1-5386-6680-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Andreas V. Hess, Sebastian Mödersheim |
A Typing Result for Stateful Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 31st IEEE Computer Security Foundations Symposium, CSF 2018, Oxford, United Kingdom, July 9-12, 2018, pp. 374-388, 2018, IEEE Computer Society, 978-1-5386-6680-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Zouheir Trabelsi, Safaa Zeidan |
Enhanced Session Table Architecture for Stateful Firewalls. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICC ![In: 2018 IEEE International Conference on Communications, ICC 2018, Kansas City, MO, USA, May 20-24, 2018, pp. 1-7, 2018, IEEE, 978-1-5386-3180-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Binxu Yang, Zichuan Xu, Wei Koong Chai, Weifa Liang, Daphné Tuncer, Alex Galis, George Pavlou |
Algorithms for Fault-Tolerant Placement of Stateful Virtualized Network Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICC ![In: 2018 IEEE International Conference on Communications, ICC 2018, Kansas City, MO, USA, May 20-24, 2018, pp. 1-7, 2018, IEEE, 978-1-5386-3180-5. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Christian Cachin, Esha Ghosh, Dimitrios Papadopoulos 0001, Björn Tackmann |
Stateful Multi-client Verifiable Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACNS ![In: Applied Cryptography and Network Security - 16th International Conference, ACNS 2018, Leuven, Belgium, July 2-4, 2018, Proceedings, pp. 637-656, 2018, Springer, 978-3-319-93386-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Irum Rauf, Inna Vistbakka, Elena Troubitsyna |
Formal Verification of Stateful Services with REST APIs Using Event-B. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWS ![In: 2018 IEEE International Conference on Web Services, ICWS 2018, San Francisco, CA, USA, July 2-7, 2018, pp. 131-138, 2018, IEEE, 978-1-5386-7247-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Johannes Pohl, Andreas Noack |
Universal Radio Hacker: A Suite for Analyzing and Attacking Stateful Wireless Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WOOT @ USENIX Security Symposium ![In: 12th USENIX Workshop on Offensive Technologies, WOOT 2018, Baltimore, MD, USA, August 13-14, 2018., 2018, USENIX Association. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
15 | Daniel Fireman, João Brunet, Raquel Lopes 0001, David Quaresma, Thiago Emmanuel Pereira |
Improving Tail Latency of Stateful Cloud Services via GC Control and Load Shedding. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CloudCom ![In: 2018 IEEE International Conference on Cloud Computing Technology and Science, CloudCom 2018, Nicosia, Cyprus, December 10-13, 2018, pp. 121-128, 2018, IEEE Computer Society, 978-1-5386-7899-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Jiamin Cao, Jun Bi, Yu Zhou 0008, Cheng Zhang 0012 |
CoFilter: A High-Performance Switch-Assisted Stateful Packet Filter. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCOMM Posters and Demos ![In: Proceedings of the ACM SIGCOMM 2018 Conference on Posters and Demos, SIGCOMM 2018, Budapest, Hungary, August 20-25, 2018, pp. 9-11, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Junxiao Wang, Yuchen Huang, Heng Qi, Keqiu Li, Steve Uhlig |
CLICK-UP: Towards Software Upgrades of Click-driven Stateful Network Elements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGCOMM Posters and Demos ![In: Proceedings of the ACM SIGCOMM 2018 Conference on Posters and Demos, SIGCOMM 2018, Budapest, Hungary, August 20-25, 2018, pp. 117-119, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Zhou Zhou 0007, Xi Zhang, Qingyun Liu, Yujia Zhu, Da Li 0002, Li Guo |
SASD: A Self-Adaptive Stateful Decompression Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GLOBECOM ![In: IEEE Global Communications Conference, GLOBECOM 2018, Abu Dhabi, United Arab Emirates, December 9-13, 2018, pp. 206-212, 2018, IEEE, 978-1-5386-4727-1. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Yin Li, Zhi-Guang Sun, Ting-Ting Jiang |
An Automated Test Suite Generating Approach for Stateful Web Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SATE ![In: Software Analysis, Testing, and Evolution - 8th International Conference, SATE 2018, Shenzhen, Guangdong, China, November 23-24, 2018, Proceedings, pp. 185-201, 2018, Springer, 978-3-030-04271-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Julien Gascon-Samson, Kumseok Jung, Shivanshu Goyal, Armin Rezaiean-Asel, Karthik Pattabiraman |
ThingsMigrate: Platform-Independent Migration of Stateful JavaScript IoT Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: 32nd European Conference on Object-Oriented Programming, ECOOP 2018, July 16-21, 2018, Amsterdam, The Netherlands, pp. 18:1-18:33, 2018, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-079-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Motoshi Horii, Yuji Kojima, Kenichi Fukuda |
Stateful process migration for edge computing applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WCNC ![In: 2018 IEEE Wireless Communications and Networking Conference, WCNC 2018, Barcelona, Spain, April 15-18, 2018, pp. 1-6, 2018, IEEE, 978-1-5386-1734-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Shinae Woo, Justine Sherry, Sangjin Han, Sue Moon, Sylvia Ratnasamy, Scott Shenker |
Elastic Scaling of Stateful Network Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NSDI ![In: 15th USENIX Symposium on Networked Systems Design and Implementation, NSDI 2018, Renton, WA, USA, April 9-11, 2018, pp. 299-312, 2018, USENIX Association. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
15 | Minseok Lee, Doo-Ho Choi, Taek-Young Youn |
Non-Repudiable Dynamic PDP with Stronger Security based on Stateful Rank Based Skip List. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTC ![In: International Conference on Information and Communication Technology Convergence, ICTC 2018, Jeju Island, Korea (South), October 17-19, 2018, pp. 836-841, 2018, IEEE, 978-1-5386-5041-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | SeungYong Oh, JongWon Kim |
Stateful Container Migration employing Checkpoint-based Restoration for Orchestrated Container Clusters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICTC ![In: International Conference on Information and Communication Technology Convergence, ICTC 2018, Jeju Island, Korea (South), October 17-19, 2018, pp. 25-30, 2018, IEEE, 978-1-5386-5041-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Kalev Alpernas, Roman Manevich, Aurojit Panda, Mooly Sagiv, Scott Shenker, Sharon Shoham, Yaron Velner |
Abstract Interpretation of Stateful Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis - 25th International Symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018, Proceedings, pp. 86-106, 2018, Springer, 978-3-319-99724-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Eduard Kamburjan, Tzu-Chun Chen |
Stateful Behavioral Types for Active Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFM ![In: Integrated Formal Methods - 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings, pp. 214-235, 2018, Springer, 978-3-319-98937-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Jon Gjengset, Malte Schwarzkopf, Jonathan Behrens, Lara Timbó Araújo, Martin Ek, Eddie Kohler, M. Frans Kaashoek, Robert Tappan Morris |
Noria: dynamic, partially-stateful data-flow for high-performance web applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OSDI ![In: 13th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2018, Carlsbad, CA, USA, October 8-10, 2018., pp. 213-231, 2018, USENIX Association. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP BibTeX RDF |
|
15 | Chi-Shih Chao |
A Feasible Anomaly Diagnosis Mechanism for Stateful Firewall Rules. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCCN ![In: 27th International Conference on Computer Communication and Networks, ICCCN 2018, Hangzhou, China, July 30 - August 2, 2018, pp. 1-2, 2018, IEEE, 978-1-5386-5156-8. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Akbari Indra Basuki, Dikdik Krisnandi, Riyo Wardoyo, Djohar Syamsi |
Sub-Second Path Restoration for Stateful-based Segment Routing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IC3INA ![In: 2018 International Conference on Computer, Control, Informatics and its Applications, IC3INA 2018, Tangerang, Indonesia, November 1-2, 2018, pp. 98-103, 2018, IEEE, 978-1-5386-5741-6. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Amira Soliman 0001, Fatemeh Rahimian, Sarunas Girdzijauskas |
Stad: Stateful Diffusion for Linear Time Community Detection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS ![In: 38th IEEE International Conference on Distributed Computing Systems, ICDCS 2018, Vienna, Austria, July 2-6, 2018, pp. 1074-1085, 2018, IEEE Computer Society, 978-1-5386-6871-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Paul Chaignon, Kahina Lazri, Jérôme François, Thibault Delmas, Olivier Festor |
Oko: Extending Open vSwitch with Stateful Filters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOSR ![In: Proceedings of the Symposium on SDN Research, SOSR 2018, Los Angeles, CA, USA, March 28-29, 2018, pp. 13:1-13:13, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Francesco Di Cerbo, Fabio Martinelli, Ilaria Matteucci, Paolo Mori |
Towards a Declarative Approach to Stateful and Stateless Usage Control for Data Protection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WEBIST ![In: Proceedings of the 14th International Conference on Web Information Systems and Technologies, WEBIST 2018, Seville, Spain, September 18-20, 2018., pp. 308-315, 2018, SciTePress, 978-989-758-324-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Jun Zhang, Rui Hou 0001, Wei Song 0002, Zhiyuan Zhan, Boyan Zhao, Mingyu Chen 0001, Dan Meng |
Stateful Forward-Edge CFI Enforcement with Intel MPX. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACA ![In: Advanced Computer Architecture - 12th Conference, ACA 2018, Yingkou, China, August 10-11, 2018, Proceedings, pp. 79-94, 2018, Springer, 978-981-13-2422-2. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Jiugen Shi, Ji Wang, Huawei Huang, Lulu Shen, Jin Zhang, Hao Xu |
Joint Optimization of Stateful VNF Placement and Routing Scheduling in Software-Defined Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISPA/IUCC/BDCloud/SocialCom/SustainCom ![In: IEEE International Conference on Parallel & Distributed Processing with Applications, Ubiquitous Computing & Communications, Big Data & Cloud Computing, Social Computing & Networking, Sustainable Computing & Communications, ISPA/IUCC/BDCloud/SocialCom/SustainCom 2018, Melbourne, Australia, December 11-13, 2018, pp. 9-14, 2018, IEEE, 978-1-7281-1141-4. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Andreas V. Hess, Sebastian Alexander Mödersheim, Achim D. Brucker |
Stateful Protocol Composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESORICS (1) ![In: Computer Security - 23rd European Symposium on Research in Computer Security, ESORICS 2018, Barcelona, Spain, September 3-7, 2018, Proceedings, Part I, pp. 427-446, 2018, Springer, 978-3-319-99072-9. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Hasan Ferit Eniser, Alper Sen 0001 |
Testing service oriented architectures using stateful service visualization via machine learning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AST@ICSE ![In: Proceedings of the 13th International Workshop on Automation of Software Test, AST@ICSE 2018, Gothenburg, Sweden, May 28-29, 2018, pp. 9-15, 2018, ACM. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Phillip Rogaway, Yusi Zhang |
Simplifying Game-Based Definitions - Indistinguishability up to Correctness and Its Application to Stateful AE. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRYPTO (2) ![In: Advances in Cryptology - CRYPTO 2018 - 38th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2018, Proceedings, Part II, pp. 3-32, 2018, Springer, 978-3-319-96880-3. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Mohsin Junaid, Jiang Ming 0002, David Chenho Kung |
StateDroid: Stateful Detection of Stealthy Attacks in Android Apps via Horn-Clause Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACSAC ![In: Proceedings of the 34th Annual Computer Security Applications Conference, ACSAC 2018, San Juan, PR, USA, December 03-07, 2018, pp. 198-209, 2018, ACM, 978-1-4503-6569-7. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
15 | Salvatore Signorello |
A multifold approach to address the security issues of stateful forwarding mechanisms in Information-Centric Networks. (Une approche multidimensionnelle pour aborder les problèmes de sécurité des mécanismes d'acheminement à états dans les réseaux orientés contenus). ![Search on Bibsonomy](Pics/bibsonomy.png) |
|
2018 |
RDF |
|
Displaying result #501 - #600 of 1178 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ >>] |
|