enncore.github.io/news.html at master · enncore/enncore.github.io · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
<!DOCTYPE html>
<html lang="en-US"><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8">

    <meta http-equiv="X-UA-Compatible" content="IE=edge">
    <meta name="viewport" content="width=device-width, initial-scale=1">

<!-- Begin Jekyll SEO tag v2.4.0 -->
<title>News | EnnCore</title>
<meta name="generator" content="Jekyll v3.7.3">
<meta property="og:title" content="EnnCore: End-to-End Conceptual Guarding of Neural Architectures">
<meta property="og:locale" content="en_US">
<meta name="description" content="Security for all in an AI enabled society.">
<meta property="og:description" content="Security for all in an AI enabled society.">
<link rel="canonical" href="https://enncore.github.io/">
<meta property="og:url" content="https://enncore.github.io/">
<meta property="og:site_name" content="EnnCore">
<script type="application/ld+json">
{"name":"EnnCore","description":"Security for all in an AI enabled society.","@type":"WebSite","url":"https://enncore.github.io/","headline":"News","@context":"http://schema.org"}</script>
<!-- End Jekyll SEO tag -->

    <link rel="stylesheet" href="./files/style.css">
    <!--[if lt IE 9]>
    <script src="//cdnjs.cloudflare.com/ajax/libs/html5shiv/3.7.3/html5shiv.min.js"></script>
    <![endif]-->
  </head>
  <body>
    <div class="wrapper">
      <header>
        <h1 id="logo"><a href="https://enncore.github.io/"><img src="logo/logo-enncore.png" style="width: 13vw; min-width: 28px;" alt="logo" /></a></h1>

        <p style="font-size:18px;">End-to-End Conceptual Guarding of Neural Architectures</p>

        <p class="view" style="font-size:16px;">
	  <a href="https://enncore.github.io/news.html"><b>News</b></a><br>
          <a href="https://enncore.github.io/partners.html"><b>Partners</b></a><br>
	  <a href="https://enncore.github.io/positions.html"><b>Positions</b></a><br>
          <a href="https://enncore.github.io/publications.html"><b>Publications</b></a><br>
	  <a href="https://enncore.github.io/people.html"><b>People</b></a><br>
          <a href="https://enncore.github.io/applications.html"><b>Applications</b></a><br>
          <a href="https://enncore.github.io/benchmarks.html"><b>Index of Benchmarks</b></a><br>
	  <a href="https://enncore.github.io/events.html"><b>Events</b></a><br>
    <a href="https://enncore.github.io/awards.html"><b>Awards</b></a><br>
        </p>

	<!-- <p><a href="https://github.com/esbmc/esbmc/blob/master/src/COPYING"><img src="./files/License-MIT-yellow.svg" alt="License: MIT"></a></p> -->


      </header>
      <section class="news">

      <h2 id="news">News</h2>

      <ul>
	<li>
          <b>December 12, 2024:</b>
          <p>Our paper "<i><a href="https://doi.org/10.1016/j.segan.2024.101568">Privacy-preserving and accountable billing in peer-to-peer energy trading markets with homomorphic encryption and blockchain</a></i>" has been published in the <a href="https://www.sciencedirect.com/journal/sustainable-energy-grids-and-networks">Sustainable Energy, Grids and Networks</a> journal.</p>
        </li>

	<li>
          <b>July 22, 2024:</b>
          <p>Our paper "<i><a href="https://doi.org/10.1016/j.segan.2024.101477">PP-LEM: Efficient and Privacy-Preserving Clearance Mechanism for Local Energy Markets</a></i>" has been published in the <a href="https://www.sciencedirect.com/journal/sustainable-energy-grids-and-networks">Sustainable Energy, Grids and Networks</a> journal.</p>
        </li>
        <li>
          <b>October 6, 2023:</b>
          <p>Our paper "<i><a href="https://ieeexplore.ieee.org/document/10268284">Single Event Effects Assessment of UltraScale+ MPSoC Systems Under Atmospheric Radiation</a></i>" has been published in the <a href="https://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=24"></a>IEEE Transactions on Reliability journal.</p>
          <p>Our paper "<i><a href="https://ieeexplore.ieee.org/document/10109269">Exploring Sparse Visual Odometry Acceleration With High-Level Synthesis</a></i>" has been published in the <a href="https://ieeexplore.ieee.org/xpl/RecentIssue.jsp?punumber=6287639">IEEE Access journal</a>.</p>
        </li>
        <li>
          <b>August 1, 2023:</b>
          <p>Our paper "<i><a href="https://research.manchester.ac.uk/en/publications/a-privacy-preserving-and-accountable-billing-protocol-for-peer-to">A Privacy-Preserving and Accountable Billing Protocol for Peer-to-Peer Energy Trading Markets</a></i>" has been accepted at the <a href="https://www.sest2023.org/">International Conference on Smart Energy Systems and Technologies (SEST 2023)</a>.</p>
        </li>
        <li>
          <b>June 19, 2023:</b>
          <p>Our paper "<i><a href="https://ssvlab.github.io/lucasccordeiro/papers/fomlas2023.pdf">Certified Private Inference on Neural Networks via Lipschitz-Guided Abstraction Refinement</a></i>" has been accepted at the <a href="https://fomlas2023.wixsite.com/fomlas2023">6th Workshop on Formal Methods for ML-Enabled Autonomous Systems (FoMLAS 2023)</a>.</p>
        </li>
        <li>
          <b>June 9, 2023:</b>
          <p>Our paper "<i><a href="https://www.sciencedirect.com/science/article/pii/S0893608023003039">Towards global neural network abstractions with locally-exact reconstruction</a></i>" has been published in the <a href="https://www.sciencedirect.com/journal/neural-networks">Neural Networks</a> journal.</p>
        </li>
        <li>
          <b>January 27, 2023:</b>
          <p>Our paper "<i><a href="https://aclanthology.org/2023.findings-eacl.101/">Learning Disentangled Representations for Natural Language Definitions</a></i>" has been accepted at the <a href="https://2023.eacl.org/">Findings of the European chapter of Association for Computational Linguistics (Findings of EACL), 2023</a>.</p>
          <p>Our paper "<i><a href="https://aclanthology.org/2023.findings-eacl.188/">Interventional Probing in High Dimensions: An NLI Case Study</a></i>" has been accepted at the <a href="https://2023.eacl.org/">Findings of the European chapter of Association for Computational Linguistics (Findings of EACL), 2023</a>.</p>
          <p>Our paper "<i><a href="#">Decentralised and Cooperative Control of Multi-Robot Systems through Distributed Optimisation</a></i>" has been accepted at the <a href="https://aamas2023.soton.ac.uk/">22nd International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2023)</a>.</p>
          <p>Our paper "<i><a href="https://arxiv.org/pdf/2211.15387.pdf">AIREPAIR: A Repair Platform for Neural Networks</a></i>" has been accepted at the <a href="https://conf.researchr.org/home/icse-2023">45th IEEE/ACM International Conference on Software Engineering (ICSE 2023)</a>.</p>
        </li>
        <li>
          <b>October 26, 2022:</b>
          <p>Our paper "<i><a href="https://www.esat.kuleuven.be/cosic/publications/article-3510.pdf">Effect of Clustering in Federated Learning on Non-IID Electricity Consumption Prediction</a></i>" has been published in the <a href="https://ieee-isgt-europe.org/">proceedings of IEEE ISGT-Europe 2022</a>.</p>
          <p>Our paper "<i><a href="https://www.esat.kuleuven.be/cosic/publications/article-3515.pdf">Billing Models for Peer-to-Peer Electricity Trading Markets with Imperfect Bid-Offer Fulfillment</a></i>" has been published in the <a href="https://attend.ieee.org/isc2-2022/">proceedings of IEEE ISC2</a>.</p>
        </li>
        <li>
          <b>October 17, 2022:</b>
          <p>Our paper "<i><a href="https://arxiv.org/abs/2112.00646">Reliability Assessment and Safety Arguments for Machine Learning Components in System Assurance</a></i>" has been accepted in the <a href="https://dl.acm.org/journal/tecs">ACM Transactions on Embedding Computing Systems</a>.</p>
          <p>Our paper "<i><a href="https://arxiv.org/abs/2208.01147">Short-term Load Forecasting with Distributed Long Short-Term Memory</a></i>" has been accepted at the <a href="https://ieee-isgt.org/">2023 IEEE ISGT North America</a>.</p>
        </li>
        <li>
          <b>July 20, 2022:</b>
          Our paper "<i><a href="https://arxiv.org/abs/2207.04231">CEG4N: Counter-Example Guided Neural Network Quantization Refinement</a></i>" has been accepted at the <a href="https://easychair.org/smart-program/FLoC2022/FoMLAS-index.html">5th Workshop on Formal Methods for ML-Enabled Autonomous Systems</a>, affiliated with FLoC 2022.
          <br />
          <a href="https://zenodo.org/record/6791964">Source code</a>
        </li>
	<li>
          <b>June 30, 2022:</b>
          <p>Our paper "<i><a href="https://arxiv.org/abs/2109.06523">Dependability Analysis of Deep Reinforcement Learning based Robotics and Autonomous Systems through Probabilistic Model Checking</a></i>" has been accepted in the <a href="https://iros2022.org/">2022 IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2022)</a>.</p>
        </li>
        <li>
          <b>May 24, 2022:</b>
          Our research group has one <a href="https://www.linkedin.com/posts/lucas-cordeiro-3156233_systems-and-software-security-activity-6934600426340163584-AZwT?utm_source=linkedin_share&utm_medium=member_desktop_web">Research Associate position to work on Secure and Verifiable AI Models</a>.
        </li>
        <li>
          <b>April 20, 2022:</b>
          Our paper "<i><a href="https://www.sciencedirect.com/science/article/pii/S1364032122003112">Peer-to-peer, community self-consumption, and transactive energy: A systematic literature review of local energy market models</a></i>" has been published in the <i>Renewable and Sustainable Energy Reviews</i> journal.
        </li>
        <li>
          <b>April 04, 2022:</b>
          Talks from the EnnCore Special Session at the AAAI's Workshop on Artificial Intelligence Safety 2022 are <a href="https://www.linkedin.com/posts/lucas-cordeiro-3156233_safeai-2022-special-session-1-enncore-activity-6916737359216586752-u-37?utm_source=linkedin_share&utm_medium=member_desktop_web">available here</a>.
        </li>
        <li>
          <b>February 24, 2022:</b>
          Our paper "<i>Systematicity, Compositionality and Transitivity of Deep NLP Models: a Metamorphic Testing Perspective</i>" has been accepted to Findings of ACL 2022.
        </li>
        <li>
          <b>January 25, 2022:</b>
          <p>We published a new dataset: "<i><a href="https://doi.org/10.48420/16930768.v1">Peer-to-Peer, Self-Consumption and Transactive Energy Literature Review Data Extraction Table</a></i>"
        </li>
        <li>
          <b>February 19, 2020:</b>
          EnnCore was officially annunced at the <a href="https://gow.epsrc.ukri.org/NGBOViewGrant.aspx?GrantRef=EP/T026995/1"> EPSRC website</a>.
        </li>
      </ul>

      </section>
    </div>
    <script src="./files/scale.fix.js.download"></script>


</body></html>