Search results for "stateful"

Hits ?▲	Authors	Title	Venue	Year	Link
15	Vladimir Herdt, Hoang M. Le, Daniel Große, Rolf Drechsler	Verifying SystemC Using Intermediate Verification Language and Stateful Symbolic Simulation.	IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.	2019	DBLP DOI BibTeX RDF
15	Steven Chen, Nicholas Carlini, David A. Wagner 0001	Stateful Detection of Black-Box Adversarial Attacks.	CoRR	2019	DBLP BibTeX RDF
15	Abubakar Siddique Muqaddas, German Sviridov, Paolo Giaccone, Andrea Bianco	Optimal state replication in stateful data planes.	CoRR	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.	CoRR	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.	CoRR	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.	J. Netw. Comput. Appl.	2019	DBLP DOI BibTeX RDF
15	Adil Akhter, Marios Fragkoulis, Asterios Katsifodimos	Stateful Functions as a Service in Action. (PDF / PS)	Proc. VLDB Endow.	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.	JOCN	2019	DBLP DOI BibTeX RDF
15	Ray Bellis, Stuart Cheshire, John Dickinson, S. Dickinson, Ted Lemon, Tom Pusateri	DNS Stateful Operations.	RFC	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).	RFC	2019	DBLP DOI BibTeX RDF
15	Maurantonio Caprolu, Simone Raponi, Roberto Di Pietro	FORTRESS: An Efficient and Distributed Firewall for Stateful Data Plane SDN.	Secur. Commun. Networks	2019	DBLP DOI BibTeX RDF
15	Cristian Hristea, Ferucio Laurentiu Tiplea	Privacy of Stateful RFID Systems with Constant Tag Identifiers.	IACR Cryptol. ePrint Arch.	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.	IEEE Trans. Circuits Syst. I Regul. Pap.	2019	DBLP DOI BibTeX RDF
15	Kyung Min Kim, R. Stanley Williams	A Family of Stateful Memristor Gates for Complete Cascading Logic.	IEEE Trans. Circuits Syst. I Regul. Pap.	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.	Advances in Cyber Security	2019	DBLP DOI BibTeX RDF
15	Eero Lehtonen, Jussi H. Poikonen, Mika Laiho	Memristive Stateful Logic.	Handbook of Memristor Networks	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.	BTW	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.	CCS	2019	DBLP DOI BibTeX RDF
15	Md Iftakharul Islam, Javed I. Khan	Leveraging Domino to Implement RCP in a Stateful Programmable Pipeline.	HPSR	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.	ICC	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.	QRS	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.	ARES	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.	SIGMOD Conference	2019	DBLP DOI BibTeX RDF
15	Stefan Karlsson	Exploratory test agents for stateful software systems.	ESEC/SIGSOFT FSE	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.	ESEC/SIGSOFT FSE	2019	DBLP DOI BibTeX RDF
15	Junaid Khalid, Aditya Akella	Correctness and Performance for Stateful Chained Network Functions.	NSDI	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.	NSDI	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.	NSDI	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.	EuCNC	2019	DBLP DOI BibTeX RDF
15	Angello Astorga, P. Madhusudan, Shambwaditya Saha, Shiyu Wang, Tao Xie 0001	Learning stateful preconditions modulo a test generator.	PLDI	2019	DBLP DOI BibTeX RDF
15	Helge Dickel, Vladimir Podolskiy, Michael Gerndt	Evaluation of Autoscaling Metrics for (stateful) IoT Gateways.	SOCA	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.	ICCCN	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.	MSWiM	2019	DBLP DOI BibTeX RDF
15	Alexander Zeier, Alexander Wiesmaier, Andreas Heinemann	API Usability of Stateful Signature Schemes.	IWSEC	2019	DBLP DOI BibTeX RDF
15	Umesh Deshpande	Caravel: Burst Tolerant Scheduling for Containerized Stateful Applications.	ICDCS	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.	OFC	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.	ASAP	2019	DBLP DOI BibTeX RDF
15	Vaggelis Atlidakis, Patrice Godefroid, Marina Polishchuk	RESTler: stateful REST API fuzzing.	ICSE	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.	SC	2019	DBLP DOI BibTeX RDF
15	Martin Bulín, Lubos Smídl, Jan Svec	On Using Stateful LSTM Networks for Key-Phrase Detection.	TSD	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.	AICCSA	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.	Middleware	2019	DBLP DOI BibTeX RDF
15	Haotian Zhang, Yang Yu 0027, Maolin Pan	Heuristic Load Scheduling Algorithm for Stateful Cloud BPM Engine.	PAAP	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.	SRDS Workshops	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.	Proc. ACM Program. Lang.	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.	Int. J. Inf. Sec.	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.	IEEE Access	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.	IEEE Trans. Very Large Scale Integr. Syst.	2018	DBLP DOI BibTeX RDF
15	Carmelo Cascone, Roberto Bifulco, Salvatore Pontarelli, Antonio Capone	Relaxing state-access constraints in stateful programmable data planes.	Comput. Commun. Rev.	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.	IEEE Trans. Parallel Distributed Syst.	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.	Trans. Emerg. Telecommun. Technol.	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.	CoRR	2018	DBLP BibTeX RDF
15	Thomas Powell 0001	Computational interpretations of classical reasoning: From the epsilon calculus to stateful programs.	CoRR	2018	DBLP BibTeX RDF
15	Eduard Kamburjan, Tzu-Chun Chen	Stateful Behavioral Types for ABS.	CoRR	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.	CoRR	2018	DBLP BibTeX RDF
15	Sarvar Patel, Giuseppe Persiano, Kevin Yeo	Private Stateful Information Retrieval.	IACR Cryptol. ePrint Arch.	2018	DBLP BibTeX RDF
15	Phillip Rogaway, Yusi Zhang	Simplifying Game-Based Definitions: Indistinguishability up to Correctness and Its Application to Stateful AE.	IACR Cryptol. ePrint Arch.	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.	Comput. Secur.	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.	Int. J. Softw. Sci. Comput. Intell.	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.	NetSoft	2018	DBLP DOI BibTeX RDF
15	Ali Zeineddine, Wassim El-Hajj	Stateful Distributed Firewall as a Service in SDN.	NetSoft	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.	APKC@AsiaCCS	2018	DBLP DOI BibTeX RDF
15	Sarvar Patel, Giuseppe Persiano, Kevin Yeo	Private Stateful Information Retrieval.	CCS	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.	MobiQuitous	2018	DBLP DOI BibTeX RDF
15	Prabhakar Krishnan, Krishnashree Achuthan	Managing Network Functions in Stateful Application Aware SDN.	SSCC	2018	DBLP DOI BibTeX RDF
15	Walber Jose Adriano Silva	Avoiding Inconsistency in OpenFlow Stateful Applications Caused by Multiple Flow Requests.	ICNC	2018	DBLP DOI BibTeX RDF
15	Pakapol Krongbaramee, Yuthapong Somchit	Implementation of SDN Stateful Firewall on Data Plane using Open vSwitch.	JCSSE	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.	APSys	2018	DBLP DOI BibTeX RDF
15	Jannik Dreier, Lucca Hirschi, Sasa Radomirovic, Ralf Sasse	Automated Unbounded Verification of Stateful Cryptographic Protocols with Exclusive OR.	CSF	2018	DBLP DOI BibTeX RDF
15	Andreas V. Hess, Sebastian Mödersheim	A Typing Result for Stateful Protocols.	CSF	2018	DBLP DOI BibTeX RDF
15	Zouheir Trabelsi, Safaa Zeidan	Enhanced Session Table Architecture for Stateful Firewalls.	ICC	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.	ICC	2018	DBLP DOI BibTeX RDF
15	Christian Cachin, Esha Ghosh, Dimitrios Papadopoulos 0001, Björn Tackmann	Stateful Multi-client Verifiable Computation.	ACNS	2018	DBLP DOI BibTeX RDF
15	Irum Rauf, Inna Vistbakka, Elena Troubitsyna	Formal Verification of Stateful Services with REST APIs Using Event-B.	ICWS	2018	DBLP DOI BibTeX RDF
15	Johannes Pohl, Andreas Noack	Universal Radio Hacker: A Suite for Analyzing and Attacking Stateful Wireless Protocols.	WOOT @ USENIX Security Symposium	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.	CloudCom	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.	SIGCOMM Posters and Demos	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.	SIGCOMM Posters and Demos	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.	GLOBECOM	2018	DBLP DOI BibTeX RDF
15	Yin Li, Zhi-Guang Sun, Ting-Ting Jiang	An Automated Test Suite Generating Approach for Stateful Web Services.	SATE	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.	ECOOP	2018	DBLP DOI BibTeX RDF
15	Motoshi Horii, Yuji Kojima, Kenichi Fukuda	Stateful process migration for edge computing applications.	WCNC	2018	DBLP DOI BibTeX RDF
15	Shinae Woo, Justine Sherry, Sangjin Han, Sue Moon, Sylvia Ratnasamy, Scott Shenker	Elastic Scaling of Stateful Network Functions.	NSDI	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.	ICTC	2018	DBLP DOI BibTeX RDF
15	SeungYong Oh, JongWon Kim	Stateful Container Migration employing Checkpoint-based Restoration for Orchestrated Container Clusters.	ICTC	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.	SAS	2018	DBLP DOI BibTeX RDF
15	Eduard Kamburjan, Tzu-Chun Chen	Stateful Behavioral Types for Active Objects.	IFM	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.	OSDI	2018	DBLP BibTeX RDF
15	Chi-Shih Chao	A Feasible Anomaly Diagnosis Mechanism for Stateful Firewall Rules.	ICCCN	2018	DBLP DOI BibTeX RDF
15	Akbari Indra Basuki, Dikdik Krisnandi, Riyo Wardoyo, Djohar Syamsi	Sub-Second Path Restoration for Stateful-based Segment Routing.	IC3INA	2018	DBLP DOI BibTeX RDF
15	Amira Soliman 0001, Fatemeh Rahimian, Sarunas Girdzijauskas	Stad: Stateful Diffusion for Linear Time Community Detection.	ICDCS	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.	SOSR	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.	WEBIST	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.	ACA	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.	ISPA/IUCC/BDCloud/SocialCom/SustainCom	2018	DBLP DOI BibTeX RDF
15	Andreas V. Hess, Sebastian Alexander Mödersheim, Achim D. Brucker	Stateful Protocol Composition.	ESORICS (1)	2018	DBLP DOI BibTeX RDF
15	Hasan Ferit Eniser, Alper Sen 0001	Testing service oriented architectures using stateful service visualization via machine learning.	AST@ICSE	2018	DBLP DOI BibTeX RDF
15	Phillip Rogaway, Yusi Zhang	Simplifying Game-Based Definitions - Indistinguishability up to Correctness and Its Application to Stateful AE.	CRYPTO (2)	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.	ACSAC	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).		2018	RDF