WEBVTT
Kind: captions
Language: en

00:00:01.070 --> 00:00:15.890 align:start position:0%
 
[Applause]

00:00:15.890 --> 00:00:15.900 align:start position:0%
 
 

00:00:15.900 --> 00:00:24.509 align:start position:0%
 
[Music]

00:00:24.509 --> 00:00:24.519 align:start position:0%
 
 

00:00:24.519 --> 00:00:29.009 align:start position:0%
 
ok<00:00:25.140><c> number</c><00:00:26.140><c> one</c><00:00:26.289><c> I</c><00:00:26.679><c> think</c><00:00:26.829><c> I</c><00:00:27.609><c> do</c><00:00:27.880><c> and</c><00:00:28.179><c> I</c><00:00:28.660><c> am</c><00:00:28.869><c> a</c>

00:00:29.009 --> 00:00:29.019 align:start position:0%
ok number one I think I do and I am a
 

00:00:29.019 --> 00:00:30.990 align:start position:0%
ok number one I think I do and I am a
researcher<00:00:29.769><c> from</c><00:00:29.949><c> the</c><00:00:30.070><c> officer</c><00:00:30.550><c> I</c><00:00:30.789><c> am</c>

00:00:30.990 --> 00:00:31.000 align:start position:0%
researcher from the officer I am
 

00:00:31.000 --> 00:00:33.930 align:start position:0%
researcher from the officer I am
watching<00:00:31.329><c> every</c><00:00:31.630><c> circuits</c><00:00:31.989><c> -</c><00:00:32.230><c> and</c><00:00:33.100><c> I</c><00:00:33.640><c> will</c><00:00:33.850><c> be</c>

00:00:33.930 --> 00:00:33.940 align:start position:0%
watching every circuits - and I will be
 

00:00:33.940 --> 00:00:36.930 align:start position:0%
watching every circuits - and I will be
talking<00:00:34.090><c> about</c><00:00:34.269><c> risk</c><00:00:34.899><c> for</c><00:00:35.519><c> finding</c><00:00:36.519><c> a</c><00:00:36.640><c> LAN</c><00:00:36.910><c> or</c>

00:00:36.930 --> 00:00:36.940 align:start position:0%
talking about risk for finding a LAN or
 

00:00:36.940 --> 00:00:39.810 align:start position:0%
talking about risk for finding a LAN or
even<00:00:37.269><c> seeing</c><00:00:37.480><c> a</c><00:00:37.629><c> smart</c><00:00:37.989><c> conference</c><00:00:38.730><c> it's</c><00:00:39.730><c> a</c>

00:00:39.810 --> 00:00:39.820 align:start position:0%
even seeing a smart conference it's a
 

00:00:39.820 --> 00:00:42.840 align:start position:0%
even seeing a smart conference it's a
company<00:00:40.149><c> we</c><00:00:40.269><c> do</c><00:00:40.449><c> by</c><00:00:40.809><c> our</c><00:00:41.559><c> contract</c><00:00:41.949><c> you</c><00:00:42.640><c> might</c>

00:00:42.840 --> 00:00:42.850 align:start position:0%
company we do by our contract you might
 

00:00:42.850 --> 00:00:46.319 align:start position:0%
company we do by our contract you might
want<00:00:43.059><c> to</c><00:00:43.180><c> do</c><00:00:43.920><c> a</c><00:00:44.920><c> validation</c><00:00:45.579><c> procedure</c><00:00:46.089><c> for</c>

00:00:46.319 --> 00:00:46.329 align:start position:0%
want to do a validation procedure for
 

00:00:46.329 --> 00:00:48.930 align:start position:0%
want to do a validation procedure for
example<00:00:46.659><c> you</c><00:00:46.720><c> can</c><00:00:46.930><c> write</c><00:00:47.320><c> a</c><00:00:47.620><c> group</c><00:00:47.979><c> of</c><00:00:48.190><c> test</c>

00:00:48.930 --> 00:00:48.940 align:start position:0%
example you can write a group of test
 

00:00:48.940 --> 00:00:51.329 align:start position:0%
example you can write a group of test
cases<00:00:49.149><c> to</c><00:00:49.449><c> test</c><00:00:49.690><c> whether</c><00:00:49.989><c> your</c><00:00:50.769><c> contract</c>

00:00:51.329 --> 00:00:51.339 align:start position:0%
cases to test whether your contract
 

00:00:51.339 --> 00:00:53.939 align:start position:0%
cases to test whether your contract
gross<00:00:51.579><c> enough</c><00:00:51.879><c> or</c><00:00:52.149><c> you</c><00:00:52.570><c> can</c><00:00:52.839><c> use</c><00:00:53.589><c> a</c>

00:00:53.939 --> 00:00:53.949 align:start position:0%
gross enough or you can use a
 

00:00:53.949 --> 00:00:56.549 align:start position:0%
gross enough or you can use a
verification<00:00:54.610><c> tool</c><00:00:54.820><c> to</c><00:00:55.120><c> verify</c><00:00:55.390><c> whether</c><00:00:56.229><c> a</c>

00:00:56.549 --> 00:00:56.559 align:start position:0%
verification tool to verify whether a
 

00:00:56.559 --> 00:00:59.880 align:start position:0%
verification tool to verify whether a
specific<00:00:57.070><c> property</c><00:00:57.640><c> close</c><00:00:58.149><c> enough</c><00:00:58.769><c> or</c><00:00:59.769><c> you</c>

00:00:59.880 --> 00:00:59.890 align:start position:0%
specific property close enough or you
 

00:00:59.890 --> 00:01:02.970 align:start position:0%
specific property close enough or you
can<00:01:00.090><c> find</c><00:01:01.090><c> an</c><00:01:01.300><c> auditing</c><00:01:01.929><c> team</c><00:01:02.109><c> to</c><00:01:02.410><c> send</c><00:01:02.890><c> you</c><00:01:02.949><c> a</c>

00:01:02.970 --> 00:01:02.980 align:start position:0%
can find an auditing team to send you a
 

00:01:02.980 --> 00:01:06.440 align:start position:0%
can find an auditing team to send you a
contract<00:01:03.550><c> to</c><00:01:03.670><c> them</c><00:01:03.789><c> and</c><00:01:04.089><c> get</c><00:01:04.390><c> their</c><00:01:04.570><c> feedback</c>

00:01:06.440 --> 00:01:06.450 align:start position:0%
contract to them and get their feedback
 

00:01:06.450 --> 00:01:08.910 align:start position:0%
contract to them and get their feedback
after<00:01:07.450><c> that</c><00:01:07.660><c> hopefully</c><00:01:08.050><c> you</c><00:01:08.350><c> can</c><00:01:08.530><c> get</c><00:01:08.710><c> useful</c>

00:01:08.910 --> 00:01:08.920 align:start position:0%
after that hopefully you can get useful
 

00:01:08.920 --> 00:01:10.830 align:start position:0%
after that hopefully you can get useful
feedback<00:01:09.280><c> and</c><00:01:09.640><c> optimize</c><00:01:10.240><c> your</c><00:01:10.270><c> smart</c>

00:01:10.830 --> 00:01:10.840 align:start position:0%
feedback and optimize your smart
 

00:01:10.840 --> 00:01:13.950 align:start position:0%
feedback and optimize your smart
contracts<00:01:11.229><c> and</c><00:01:11.890><c> you</c><00:01:11.920><c> can</c><00:01:12.399><c> put</c><00:01:12.580><c> them</c><00:01:12.700><c> on</c><00:01:13.420><c> the</c>

00:01:13.950 --> 00:01:13.960 align:start position:0%
contracts and you can put them on the
 

00:01:13.960 --> 00:01:17.460 align:start position:0%
contracts and you can put them on the
blockchain<00:01:14.500><c> but</c><00:01:15.369><c> in</c><00:01:16.210><c> some</c><00:01:16.450><c> cases</c><00:01:16.630><c> those</c>

00:01:17.460 --> 00:01:17.470 align:start position:0%
blockchain but in some cases those
 

00:01:17.470 --> 00:01:19.560 align:start position:0%
blockchain but in some cases those
valuations<00:01:17.979><c> might</c><00:01:18.369><c> not</c><00:01:18.550><c> be</c><00:01:18.670><c> able</c><00:01:18.759><c> to</c><00:01:19.000><c> work</c><00:01:19.210><c> for</c>

00:01:19.560 --> 00:01:19.570 align:start position:0%
valuations might not be able to work for
 

00:01:19.570 --> 00:01:22.529 align:start position:0%
valuations might not be able to work for
example<00:01:20.080><c> if</c><00:01:20.860><c> there</c><00:01:21.159><c> are</c><00:01:21.190><c> a</c><00:01:21.429><c> lot</c><00:01:21.640><c> of</c><00:01:21.670><c> large</c>

00:01:22.529 --> 00:01:22.539 align:start position:0%
example if there are a lot of large
 

00:01:22.539 --> 00:01:25.620 align:start position:0%
example if there are a lot of large
corporates<00:01:23.289><c> of</c><00:01:23.580><c> auditing</c><00:01:24.580><c> requests</c><00:01:25.060><c> requests</c>

00:01:25.620 --> 00:01:25.630 align:start position:0%
corporates of auditing requests requests
 

00:01:25.630 --> 00:01:27.330 align:start position:0%
corporates of auditing requests requests
you<00:01:25.750><c> might</c><00:01:25.960><c> it</c><00:01:26.259><c> might</c><00:01:26.440><c> take</c><00:01:26.649><c> a</c><00:01:26.679><c> while</c><00:01:26.920><c> for</c><00:01:26.979><c> you</c>

00:01:27.330 --> 00:01:27.340 align:start position:0%
you might it might take a while for you
 

00:01:27.340 --> 00:01:30.899 align:start position:0%
you might it might take a while for you
to<00:01:27.369><c> get</c><00:01:27.759><c> feedback</c><00:01:28.420><c> from</c><00:01:28.810><c> an</c><00:01:28.990><c> audit</c><00:01:29.170><c> team</c><00:01:29.500><c> or</c><00:01:29.909><c> if</c>

00:01:30.899 --> 00:01:30.909 align:start position:0%
to get feedback from an audit team or if
 

00:01:30.909 --> 00:01:33.090 align:start position:0%
to get feedback from an audit team or if
something<00:01:31.450><c> new</c><00:01:31.630><c> some</c><00:01:31.990><c> some</c><00:01:32.439><c> new</c><00:01:32.470><c> problems</c>

00:01:33.090 --> 00:01:33.100 align:start position:0%
something new some some new problems
 

00:01:33.100 --> 00:01:35.490 align:start position:0%
something new some some new problems
just<00:01:33.369><c> come</c><00:01:33.909><c> out</c><00:01:34.090><c> in</c><00:01:34.119><c> your</c><00:01:34.450><c> application</c><00:01:35.350><c> and</c>

00:01:35.490 --> 00:01:35.500 align:start position:0%
just come out in your application and
 

00:01:35.500 --> 00:01:37.490 align:start position:0%
just come out in your application and
testing<00:01:35.860><c> -</c><00:01:36.009><c> all</c><00:01:36.130><c> have</c><00:01:36.430><c> not</c><00:01:36.610><c> been</c><00:01:36.790><c> updated</c><00:01:37.090><c> yet</c>

00:01:37.490 --> 00:01:37.500 align:start position:0%
testing - all have not been updated yet
 

00:01:37.500 --> 00:01:40.170 align:start position:0%
testing - all have not been updated yet
they<00:01:38.500><c> might</c><00:01:38.680><c> not</c><00:01:38.920><c> be</c><00:01:39.070><c> able</c><00:01:39.189><c> to</c><00:01:39.490><c> give</c><00:01:39.700><c> you</c><00:01:39.909><c> a</c>

00:01:40.170 --> 00:01:40.180 align:start position:0%
they might not be able to give you a
 

00:01:40.180 --> 00:01:43.950 align:start position:0%
they might not be able to give you a
good<00:01:40.680><c> detection</c><00:01:41.729><c> so</c><00:01:42.729><c> if</c><00:01:43.119><c> you</c><00:01:43.270><c> look</c><00:01:43.659><c> at</c><00:01:43.810><c> this</c>

00:01:43.950 --> 00:01:43.960 align:start position:0%
good detection so if you look at this
 

00:01:43.960 --> 00:01:47.310 align:start position:0%
good detection so if you look at this
CBE<00:01:44.710><c> sample</c><00:01:45.460><c> which</c><00:01:46.000><c> was</c><00:01:46.030><c> reported</c><00:01:46.899><c> last</c><00:01:47.020><c> year</c>

00:01:47.310 --> 00:01:47.320 align:start position:0%
CBE sample which was reported last year
 

00:01:47.320 --> 00:01:50.609 align:start position:0%
CBE sample which was reported last year
and<00:01:47.649><c> you</c><00:01:48.340><c> may</c><00:01:48.460><c> find</c><00:01:48.640><c> that</c><00:01:48.880><c> this</c><00:01:49.540><c> very</c><00:01:50.200><c> simple</c>

00:01:50.609 --> 00:01:50.619 align:start position:0%
and you may find that this very simple
 

00:01:50.619 --> 00:01:54.060 align:start position:0%
and you may find that this very simple
integer<00:01:51.250><c> will</c><00:01:51.579><c> flow</c><00:01:51.759><c> might</c><00:01:52.719><c> be</c><00:01:53.320><c> able</c><00:01:53.469><c> to</c><00:01:53.619><c> cause</c>

00:01:54.060 --> 00:01:54.070 align:start position:0%
integer will flow might be able to cause
 

00:01:54.070 --> 00:01:56.160 align:start position:0%
integer will flow might be able to cause
a<00:01:54.659><c> zero</c><00:01:55.659><c> pain</c>

00:01:56.160 --> 00:01:56.170 align:start position:0%
a zero pain
 

00:01:56.170 --> 00:02:00.569 align:start position:0%
a zero pain
transfer<00:01:56.590><c> in</c><00:01:57.430><c> this</c><00:01:58.350><c> transfer</c><00:01:59.350><c> proxy</c><00:01:59.740><c> function</c>

00:02:00.569 --> 00:02:00.579 align:start position:0%
transfer in this transfer proxy function
 

00:02:00.579 --> 00:02:03.149 align:start position:0%
transfer in this transfer proxy function
and<00:02:00.759><c> it</c><00:02:01.210><c> was</c><00:02:01.420><c> happening</c><00:02:01.810><c> in</c><00:02:02.020><c> many</c><00:02:02.200><c> other</c><00:02:02.619><c> token</c>

00:02:03.149 --> 00:02:03.159 align:start position:0%
and it was happening in many other token
 

00:02:03.159 --> 00:02:06.410 align:start position:0%
and it was happening in many other token
concepts<00:02:03.610><c> last</c><00:02:03.880><c> year</c><00:02:04.149><c> and</c><00:02:04.360><c> when</c><00:02:05.289><c> we</c><00:02:05.409><c> used</c><00:02:05.649><c> some</c>

00:02:06.410 --> 00:02:06.420 align:start position:0%
concepts last year and when we used some
 

00:02:06.420 --> 00:02:08.999 align:start position:0%
concepts last year and when we used some
existing<00:02:07.420><c> analyzers</c><00:02:08.140><c> to</c><00:02:08.320><c> analyze</c><00:02:08.799><c> this</c>

00:02:08.999 --> 00:02:09.009 align:start position:0%
existing analyzers to analyze this
 

00:02:09.009 --> 00:02:11.580 align:start position:0%
existing analyzers to analyze this
security<00:02:09.759><c> issue</c><00:02:10.060><c> away</c><00:02:10.239><c> they</c><00:02:10.959><c> told</c><00:02:11.410><c> us</c><00:02:11.560><c> that</c>

00:02:11.580 --> 00:02:11.590 align:start position:0%
security issue away they told us that
 

00:02:11.590 --> 00:02:14.340 align:start position:0%
security issue away they told us that
nothing's<00:02:12.540><c> nothing</c><00:02:13.540><c> was</c><00:02:13.690><c> found</c>

00:02:14.340 --> 00:02:14.350 align:start position:0%
nothing's nothing was found
 

00:02:14.350 --> 00:02:17.340 align:start position:0%
nothing's nothing was found
so<00:02:14.890><c> which</c><00:02:15.130><c> was</c><00:02:15.370><c> obviously</c><00:02:15.720><c> for</c><00:02:16.720><c> snacking</c><00:02:16.989><c> in</c>

00:02:17.340 --> 00:02:17.350 align:start position:0%
so which was obviously for snacking in
 

00:02:17.350 --> 00:02:20.430 align:start position:0%
so which was obviously for snacking in
this<00:02:17.709><c> setting</c><00:02:18.280><c> so</c><00:02:18.750><c> the</c><00:02:19.750><c> reason</c><00:02:20.109><c> for</c><00:02:20.140><c> this</c><00:02:20.380><c> is</c>

00:02:20.430 --> 00:02:20.440 align:start position:0%
this setting so the reason for this is
 

00:02:20.440 --> 00:02:23.780 align:start position:0%
this setting so the reason for this is
that<00:02:20.680><c> some</c><00:02:21.040><c> of</c><00:02:21.549><c> the</c><00:02:21.700><c> analyzers</c><00:02:22.299><c> when</c><00:02:22.780><c> they</c><00:02:22.959><c> see</c>

00:02:23.780 --> 00:02:23.790 align:start position:0%
that some of the analyzers when they see
 

00:02:23.790 --> 00:02:27.390 align:start position:0%
that some of the analyzers when they see
and<00:02:24.810><c> overflow</c><00:02:25.810><c> they</c><00:02:26.109><c> they</c><00:02:26.709><c> were</c><00:02:26.769><c> not</c><00:02:27.010><c> directly</c>

00:02:27.390 --> 00:02:27.400 align:start position:0%
and overflow they they were not directly
 

00:02:27.400 --> 00:02:28.480 align:start position:0%
and overflow they they were not directly
recording<00:02:27.910><c> instead</c>

00:02:28.480 --> 00:02:28.490 align:start position:0%
recording instead
 

00:02:28.490 --> 00:02:30.730 align:start position:0%
recording instead
they<00:02:28.580><c> will</c><00:02:28.790><c> check</c><00:02:29.480><c> whether</c><00:02:29.720><c> this</c><00:02:30.260><c> integer</c>

00:02:30.730 --> 00:02:30.740 align:start position:0%
they will check whether this integer
 

00:02:30.740 --> 00:02:34.210 align:start position:0%
they will check whether this integer
rules<00:02:31.220><c> will</c><00:02:31.820><c> be</c><00:02:31.970><c> followed</c><00:02:32.360><c> by</c><00:02:32.570><c> a</c><00:02:33.110><c> lesson</c><00:02:33.860><c> with</c>

00:02:34.210 --> 00:02:34.220 align:start position:0%
rules will be followed by a lesson with
 

00:02:34.220 --> 00:02:36.160 align:start position:0%
rules will be followed by a lesson with
River<00:02:34.670><c> operation</c><00:02:35.420><c> if</c><00:02:35.540><c> so</c><00:02:35.750><c> they</c><00:02:35.960><c> might</c>

00:02:36.160 --> 00:02:36.170 align:start position:0%
River operation if so they might
 

00:02:36.170 --> 00:02:39.300 align:start position:0%
River operation if so they might
consider<00:02:36.410><c> this</c><00:02:36.800><c> as</c><00:02:37.070><c> a</c><00:02:37.180><c> protection</c><00:02:38.180><c> mechanism</c>

00:02:39.300 --> 00:02:39.310 align:start position:0%
consider this as a protection mechanism
 

00:02:39.310 --> 00:02:44.980 align:start position:0%
consider this as a protection mechanism
such<00:02:40.310><c> like</c><00:02:40.490><c> the</c><00:02:40.760><c> safe</c><00:02:41.390><c> math</c><00:02:41.980><c> library</c><00:02:42.980><c> and</c><00:02:43.990><c> this</c>

00:02:44.980 --> 00:02:44.990 align:start position:0%
such like the safe math library and this
 

00:02:44.990 --> 00:02:47.920 align:start position:0%
such like the safe math library and this
one<00:02:45.170><c> does</c><00:02:45.350><c> is</c><00:02:45.590><c> just</c><00:02:45.950><c> not</c><00:02:46.130><c> this</c><00:02:46.340><c> case</c><00:02:46.580><c> so</c><00:02:47.390><c> what</c>

00:02:47.920 --> 00:02:47.930 align:start position:0%
one does is just not this case so what
 

00:02:47.930 --> 00:02:49.690 align:start position:0%
one does is just not this case so what
we<00:02:48.050><c> are</c><00:02:48.200><c> trying</c><00:02:48.380><c> to</c><00:02:48.470><c> do</c><00:02:48.710><c> is</c><00:02:48.860><c> that</c><00:02:49.130><c> when</c><00:02:49.550><c> you</c>

00:02:49.690 --> 00:02:49.700 align:start position:0%
we are trying to do is that when you
 

00:02:49.700 --> 00:02:52.060 align:start position:0%
we are trying to do is that when you
have<00:02:50.450><c> your</c><00:02:50.720><c> contract</c><00:02:51.170><c> we</c><00:02:51.410><c> would</c><00:02:51.590><c> like</c><00:02:51.740><c> to</c><00:02:51.920><c> know</c>

00:02:52.060 --> 00:02:52.070 align:start position:0%
have your contract we would like to know
 

00:02:52.070 --> 00:02:55.180 align:start position:0%
have your contract we would like to know
whether<00:02:52.480><c> there</c><00:02:53.480><c> your</c><00:02:54.290><c> contract</c><00:02:54.830><c> can</c><00:02:55.160><c> be</c>

00:02:55.180 --> 00:02:55.190 align:start position:0%
whether there your contract can be
 

00:02:55.190 --> 00:02:58.170 align:start position:0%
whether there your contract can be
matched<00:02:56.120><c> to</c><00:02:56.450><c> some</c><00:02:56.840><c> existing</c><00:02:57.260><c> knowing</c>

00:02:58.170 --> 00:02:58.180 align:start position:0%
matched to some existing knowing
 

00:02:58.180 --> 00:03:02.710 align:start position:0%
matched to some existing knowing
security<00:02:59.180><c> issues</c><00:02:59.480><c> and</c><00:03:00.640><c> instead</c><00:03:01.640><c> of</c><00:03:01.820><c> directly</c>

00:03:02.710 --> 00:03:02.720 align:start position:0%
security issues and instead of directly
 

00:03:02.720 --> 00:03:05.440 align:start position:0%
security issues and instead of directly
and<00:03:02.930><c> illogical</c><00:03:03.580><c> so</c><00:03:04.580><c> you</c><00:03:04.640><c> can</c><00:03:04.940><c> also</c><00:03:05.120><c> do</c><00:03:05.330><c> this</c>

00:03:05.440 --> 00:03:05.450 align:start position:0%
and illogical so you can also do this
 

00:03:05.450 --> 00:03:07.570 align:start position:0%
and illogical so you can also do this
for<00:03:05.510><c> those</c><00:03:06.140><c> contracts</c><00:03:06.650><c> which</c><00:03:06.950><c> are</c><00:03:07.130><c> already</c>

00:03:07.570 --> 00:03:07.580 align:start position:0%
for those contracts which are already
 

00:03:07.580 --> 00:03:10.120 align:start position:0%
for those contracts which are already
deployed<00:03:07.820><c> on</c><00:03:08.300><c> the</c><00:03:08.330><c> blockchain</c><00:03:08.630><c> and</c><00:03:08.990><c> to</c><00:03:09.980><c> this</c>

00:03:10.120 --> 00:03:10.130 align:start position:0%
deployed on the blockchain and to this
 

00:03:10.130 --> 00:03:13.330 align:start position:0%
deployed on the blockchain and to this
end<00:03:10.460><c> we</c><00:03:11.300><c> are</c><00:03:11.380><c> exploiting</c><00:03:12.380><c> the</c><00:03:12.650><c> idea</c><00:03:13.130><c> of</c>

00:03:13.330 --> 00:03:13.340 align:start position:0%
end we are exploiting the idea of
 

00:03:13.340 --> 00:03:15.360 align:start position:0%
end we are exploiting the idea of
kok-long<00:03:14.000><c> detection</c><00:03:14.720><c> technique</c>

00:03:15.360 --> 00:03:15.370 align:start position:0%
kok-long detection technique
 

00:03:15.370 --> 00:03:18.840 align:start position:0%
kok-long detection technique
specifically<00:03:16.370><c> we</c><00:03:17.060><c> are</c><00:03:17.090><c> generate</c><00:03:17.960><c> a</c><00:03:18.110><c> birthmark</c>

00:03:18.840 --> 00:03:18.850 align:start position:0%
specifically we are generate a birthmark
 

00:03:18.850 --> 00:03:20.920 align:start position:0%
specifically we are generate a birthmark
representation<00:03:19.850><c> for</c><00:03:20.060><c> the</c><00:03:20.660><c> vulnerable</c>

00:03:20.920 --> 00:03:20.930 align:start position:0%
representation for the vulnerable
 

00:03:20.930 --> 00:03:23.320 align:start position:0%
representation for the vulnerable
contacts<00:03:21.650><c> or</c><00:03:21.800><c> the</c><00:03:22.070><c> database</c><00:03:22.400><c> itself</c><00:03:22.790><c> and</c><00:03:23.090><c> you</c>

00:03:23.320 --> 00:03:23.330 align:start position:0%
contacts or the database itself and you
 

00:03:23.330 --> 00:03:25.210 align:start position:0%
contacts or the database itself and you
do<00:03:23.450><c> the</c><00:03:23.540><c> same</c><00:03:23.690><c> for</c><00:03:23.900><c> your</c><00:03:24.230><c> contacts</c><00:03:24.740><c> and</c><00:03:25.190><c> we</c>

00:03:25.210 --> 00:03:25.220 align:start position:0%
do the same for your contacts and we
 

00:03:25.220 --> 00:03:29.170 align:start position:0%
do the same for your contacts and we
analyze<00:03:26.030><c> the</c><00:03:26.660><c> semantics</c><00:03:27.260><c> of</c><00:03:27.350><c> them</c><00:03:27.560><c> and</c><00:03:27.970><c> you</c><00:03:28.970><c> do</c>

00:03:29.170 --> 00:03:29.180 align:start position:0%
analyze the semantics of them and you do
 

00:03:29.180 --> 00:03:31.540 align:start position:0%
analyze the semantics of them and you do
a<00:03:29.390><c> sort</c><00:03:29.630><c> of</c><00:03:29.720><c> cross</c><00:03:30.230><c> matching</c><00:03:30.680><c> algorithm</c><00:03:31.280><c> and</c>

00:03:31.540 --> 00:03:31.550 align:start position:0%
a sort of cross matching algorithm and
 

00:03:31.550 --> 00:03:33.460 align:start position:0%
a sort of cross matching algorithm and
identify<00:03:32.300><c> whether</c><00:03:32.480><c> they</c><00:03:32.750><c> are</c><00:03:32.870><c> semantically</c>

00:03:33.460 --> 00:03:33.470 align:start position:0%
identify whether they are semantically
 

00:03:33.470 --> 00:03:36.880 align:start position:0%
identify whether they are semantically
similar<00:03:34.130><c> to</c><00:03:34.460><c> each</c><00:03:34.550><c> other</c><00:03:34.700><c> and</c><00:03:35.770><c> given</c><00:03:36.770><c> the</c>

00:03:36.880 --> 00:03:36.890 align:start position:0%
similar to each other and given the
 

00:03:36.890 --> 00:03:39.280 align:start position:0%
similar to each other and given the
concept<00:03:37.340><c> we</c><00:03:38.030><c> create</c><00:03:38.480><c> the</c><00:03:38.810><c> control</c><00:03:39.170><c> flow</c>

00:03:39.280 --> 00:03:39.290 align:start position:0%
concept we create the control flow
 

00:03:39.290 --> 00:03:42.370 align:start position:0%
concept we create the control flow
graphs<00:03:39.590><c> for</c><00:03:40.310><c> the</c><00:03:40.610><c> contract</c><00:03:41.360><c> and</c><00:03:41.750><c> we</c><00:03:41.930><c> perform</c>

00:03:42.370 --> 00:03:42.380 align:start position:0%
graphs for the contract and we perform
 

00:03:42.380 --> 00:03:45.520 align:start position:0%
graphs for the contract and we perform
supporting<00:03:42.950><c> execution</c><00:03:43.520><c> on</c><00:03:44.030><c> the</c><00:03:44.140><c> graph</c><00:03:45.140><c> itself</c>

00:03:45.520 --> 00:03:45.530 align:start position:0%
supporting execution on the graph itself
 

00:03:45.530 --> 00:03:48.010 align:start position:0%
supporting execution on the graph itself
and<00:03:45.830><c> we</c><00:03:46.190><c> refine</c><00:03:46.910><c> the</c><00:03:46.940><c> graph</c><00:03:47.270><c> on</c><00:03:47.510><c> the</c><00:03:47.540><c> fight</c><00:03:47.840><c> to</c>

00:03:48.010 --> 00:03:48.020 align:start position:0%
and we refine the graph on the fight to
 

00:03:48.020 --> 00:03:50.740 align:start position:0%
and we refine the graph on the fight to
make<00:03:48.440><c> it</c><00:03:48.470><c> as</c><00:03:48.830><c> complete</c><00:03:49.310><c> as</c><00:03:49.460><c> possible</c><00:03:49.490><c> and</c><00:03:50.480><c> for</c>

00:03:50.740 --> 00:03:50.750 align:start position:0%
make it as complete as possible and for
 

00:03:50.750 --> 00:03:53.020 align:start position:0%
make it as complete as possible and for
each<00:03:50.930><c> basic</c><00:03:51.560><c> block</c><00:03:51.590><c> in</c><00:03:51.980><c> the</c><00:03:52.130><c> control</c><00:03:52.850><c> flow</c>

00:03:53.020 --> 00:03:53.030 align:start position:0%
each basic block in the control flow
 

00:03:53.030 --> 00:03:55.810 align:start position:0%
each basic block in the control flow
graph<00:03:53.090><c> we</c><00:03:53.630><c> are</c><00:03:53.840><c> we</c><00:03:54.380><c> first</c><00:03:54.620><c> we</c><00:03:54.860><c> abstract</c><00:03:55.640><c> the</c>

00:03:55.810 --> 00:03:55.820 align:start position:0%
graph we are we first we abstract the
 

00:03:55.820 --> 00:03:58.630 align:start position:0%
graph we are we first we abstract the
past<00:03:56.210><c> additions</c><00:03:56.720><c> to</c><00:03:56.900><c> resemble</c><00:03:57.650><c> and</c><00:03:57.980><c> secondly</c>

00:03:58.630 --> 00:03:58.640 align:start position:0%
past additions to resemble and secondly
 

00:03:58.640 --> 00:04:02.020 align:start position:0%
past additions to resemble and secondly
we<00:03:59.000><c> analyze</c><00:03:59.540><c> the</c><00:04:00.320><c> dependency</c><00:04:01.010><c> patterns</c><00:04:01.430><c> in</c>

00:04:02.020 --> 00:04:02.030 align:start position:0%
we analyze the dependency patterns in
 

00:04:02.030 --> 00:04:04.120 align:start position:0%
we analyze the dependency patterns in
the<00:04:02.150><c> block</c><00:04:02.330><c> for</c><00:04:03.050><c> example</c><00:04:03.080><c> we</c><00:04:03.500><c> will</c><00:04:03.770><c> check</c>

00:04:04.120 --> 00:04:04.130 align:start position:0%
the block for example we will check
 

00:04:04.130 --> 00:04:07.660 align:start position:0%
the block for example we will check
which<00:04:04.820><c> storage</c><00:04:05.510><c> arrival</c><00:04:06.020><c> was</c><00:04:06.230><c> first</c><00:04:06.800><c> update</c>

00:04:07.660 --> 00:04:07.670 align:start position:0%
which storage arrival was first update
 

00:04:07.670 --> 00:04:10.390 align:start position:0%
which storage arrival was first update
it<00:04:07.970><c> how</c><00:04:08.360><c> did</c><00:04:08.420><c> it</c><00:04:08.810><c> in</c><00:04:09.050><c> the</c><00:04:09.230><c> block</c><00:04:09.470><c> and</c><00:04:09.680><c> then</c><00:04:09.980><c> used</c>

00:04:10.390 --> 00:04:10.400 align:start position:0%
it how did it in the block and then used
 

00:04:10.400 --> 00:04:14.440 align:start position:0%
it how did it in the block and then used
as<00:04:10.640><c> that's</c><00:04:11.540><c> a</c><00:04:12.280><c> premier</c><00:04:13.280><c> of</c><00:04:13.520><c> a</c><00:04:13.700><c> message</c><00:04:14.240><c> home</c>

00:04:14.440 --> 00:04:14.450 align:start position:0%
as that's a premier of a message home
 

00:04:14.450 --> 00:04:17.979 align:start position:0%
as that's a premier of a message home
operation<00:04:15.080><c> and</c><00:04:15.260><c> such</c><00:04:16.600><c> dependency</c><00:04:17.600><c> panel</c><00:04:17.870><c> will</c>

00:04:17.979 --> 00:04:17.989 align:start position:0%
operation and such dependency panel will
 

00:04:17.989 --> 00:04:19.840 align:start position:0%
operation and such dependency panel will
help<00:04:18.200><c> us</c><00:04:18.350><c> better</c><00:04:18.590><c> understand</c><00:04:19.130><c> the</c><00:04:19.370><c> behavior</c>

00:04:19.840 --> 00:04:19.850 align:start position:0%
help us better understand the behavior
 

00:04:19.850 --> 00:04:22.290 align:start position:0%
help us better understand the behavior
of<00:04:19.880><c> this</c><00:04:20.120><c> block</c><00:04:20.690><c> itself</c><00:04:21.080><c> and</c><00:04:21.350><c> also</c><00:04:21.500><c> the</c><00:04:21.799><c> whole</c>

00:04:22.290 --> 00:04:22.300 align:start position:0%
of this block itself and also the whole
 

00:04:22.300 --> 00:04:24.820 align:start position:0%
of this block itself and also the whole
contract<00:04:23.300><c> as</c><00:04:23.480><c> well</c><00:04:23.720><c> and</c><00:04:23.960><c> then</c><00:04:24.440><c> we</c><00:04:24.590><c> got</c><00:04:24.800><c> a</c>

00:04:24.820 --> 00:04:24.830 align:start position:0%
contract as well and then we got a
 

00:04:24.830 --> 00:04:26.140 align:start position:0%
contract as well and then we got a
numerical

00:04:26.140 --> 00:04:26.150 align:start position:0%
numerical
 

00:04:26.150 --> 00:04:29.719 align:start position:0%
numerical
label<00:04:27.150><c> control</c><00:04:28.110><c> flow</c><00:04:28.289><c> graph</c><00:04:28.560><c> and</c><00:04:28.740><c> then</c><00:04:29.039><c> we</c><00:04:29.070><c> we</c>

00:04:29.719 --> 00:04:29.729 align:start position:0%
label control flow graph and then we we
 

00:04:29.729 --> 00:04:31.730 align:start position:0%
label control flow graph and then we we
can<00:04:29.880><c> do</c><00:04:30.000><c> this</c><00:04:30.180><c> at</c><00:04:30.630><c> a</c><00:04:30.690><c> constant</c><00:04:31.169><c> level</c><00:04:31.320><c> or</c><00:04:31.710><c> a</c>

00:04:31.730 --> 00:04:31.740 align:start position:0%
can do this at a constant level or a
 

00:04:31.740 --> 00:04:32.510 align:start position:0%
can do this at a constant level or a
functionable

00:04:32.510 --> 00:04:32.520 align:start position:0%
functionable
 

00:04:32.520 --> 00:04:36.830 align:start position:0%
functionable
and<00:04:32.690><c> that's</c><00:04:33.690><c> given</c><00:04:34.020><c> to</c><00:04:34.320><c> the</c><00:04:34.470><c> pair</c><00:04:34.710><c> of</c><00:04:35.840><c> contract</c>

00:04:36.830 --> 00:04:36.840 align:start position:0%
and that's given to the pair of contract
 

00:04:36.840 --> 00:04:38.900 align:start position:0%
and that's given to the pair of contract
robots<00:04:37.320><c> where</c><00:04:37.889><c> your</c><00:04:38.009><c> first</c><00:04:38.190><c> compute</c><00:04:38.729><c> their</c>

00:04:38.900 --> 00:04:38.910 align:start position:0%
robots where your first compute their
 

00:04:38.910 --> 00:04:41.210 align:start position:0%
robots where your first compute their
vector<00:04:39.539><c> numeral</c><00:04:39.990><c> vector</c><00:04:40.380><c> distance</c><00:04:40.770><c> and</c><00:04:40.979><c> then</c>

00:04:41.210 --> 00:04:41.220 align:start position:0%
vector numeral vector distance and then
 

00:04:41.220 --> 00:04:44.510 align:start position:0%
vector numeral vector distance and then
we<00:04:41.789><c> are</c><00:04:42.030><c> adopting</c><00:04:42.500><c> women</c><00:04:43.500><c> adopt</c><00:04:43.800><c> the</c><00:04:44.039><c> similar</c>

00:04:44.510 --> 00:04:44.520 align:start position:0%
we are adopting women adopt the similar
 

00:04:44.520 --> 00:04:48.740 align:start position:0%
we are adopting women adopt the similar
similarity<00:04:45.060><c> by</c><00:04:45.180><c> construction</c><00:04:45.600><c> ideas</c><00:04:46.340><c> -</c><00:04:47.340><c> I</c><00:04:47.750><c> can</c>

00:04:48.740 --> 00:04:48.750 align:start position:0%
similarity by construction ideas - I can
 

00:04:48.750 --> 00:04:52.270 align:start position:0%
similarity by construction ideas - I can
calculate<00:04:49.229><c> how</c><00:04:49.650><c> and</c><00:04:49.979><c> what</c><00:04:50.280><c> probability</c><00:04:51.150><c> is</c><00:04:51.660><c> -</c>

00:04:52.270 --> 00:04:52.280 align:start position:0%
calculate how and what probability is -
 

00:04:52.280 --> 00:04:54.680 align:start position:0%
calculate how and what probability is -
contracts<00:04:53.280><c> or</c><00:04:53.430><c> functions</c><00:04:53.880><c> can</c><00:04:54.090><c> be</c><00:04:54.120><c> cemented</c>

00:04:54.680 --> 00:04:54.690 align:start position:0%
contracts or functions can be cemented
 

00:04:54.690 --> 00:04:58.730 align:start position:0%
contracts or functions can be cemented
clones<00:04:55.410><c> or</c><00:04:55.940><c> to</c><00:04:56.940><c> each</c><00:04:57.030><c> other</c><00:04:57.210><c> and</c><00:04:57.600><c> we</c><00:04:58.470><c> have</c><00:04:58.590><c> also</c>

00:04:58.730 --> 00:04:58.740 align:start position:0%
clones or to each other and we have also
 

00:04:58.740 --> 00:05:01.370 align:start position:0%
clones or to each other and we have also
deduct<00:04:59.130><c> this</c><00:04:59.400><c> in</c><00:04:59.849><c> chrome</c><00:05:00.060><c> toward</c><00:05:00.419><c> who</c><00:05:00.690><c> to</c>

00:05:01.370 --> 00:05:01.380 align:start position:0%
deduct this in chrome toward who to
 

00:05:01.380 --> 00:05:04.820 align:start position:0%
deduct this in chrome toward who to
implement<00:05:02.070><c> to</c><00:05:02.280><c> implement</c><00:05:02.729><c> this</c><00:05:03.020><c> idea</c><00:05:04.020><c> and</c><00:05:04.349><c> we</c>

00:05:04.820 --> 00:05:04.830 align:start position:0%
implement to implement this idea and we
 

00:05:04.830 --> 00:05:07.330 align:start position:0%
implement to implement this idea and we
have<00:05:04.979><c> done</c><00:05:05.190><c> a</c><00:05:05.699><c> bit</c><00:05:05.970><c> of</c><00:05:06.150><c> preliminary</c>

00:05:07.330 --> 00:05:07.340 align:start position:0%
have done a bit of preliminary
 

00:05:07.340 --> 00:05:10.550 align:start position:0%
have done a bit of preliminary
evaluation<00:05:08.340><c> and</c><00:05:08.520><c> it</c><00:05:08.940><c> turns</c><00:05:09.120><c> out</c><00:05:09.300><c> the</c><00:05:09.560><c> evil</c>

00:05:10.550 --> 00:05:10.560 align:start position:0%
evaluation and it turns out the evil
 

00:05:10.560 --> 00:05:13.339 align:start position:0%
evaluation and it turns out the evil
troll<00:05:10.770><c> can</c><00:05:11.449><c> manage</c><00:05:12.449><c> to</c><00:05:12.660><c> deliver</c><00:05:12.960><c> better</c>

00:05:13.339 --> 00:05:13.349 align:start position:0%
troll can manage to deliver better
 

00:05:13.349 --> 00:05:16.070 align:start position:0%
troll can manage to deliver better
detection<00:05:13.919><c> capability</c><00:05:14.639><c> than</c><00:05:15.000><c> paid</c><00:05:15.660><c> based</c><00:05:15.930><c> on</c>

00:05:16.070 --> 00:05:16.080 align:start position:0%
detection capability than paid based on
 

00:05:16.080 --> 00:05:18.200 align:start position:0%
detection capability than paid based on
approach<00:05:16.440><c> with</c><00:05:16.680><c> omake</c><00:05:17.160><c> considers</c><00:05:17.970><c> the</c>

00:05:18.200 --> 00:05:18.210 align:start position:0%
approach with omake considers the
 

00:05:18.210 --> 00:05:20.420 align:start position:0%
approach with omake considers the
syntactic<00:05:18.780><c> information</c><00:05:19.289><c> in</c><00:05:19.410><c> the</c><00:05:19.560><c> concept</c><00:05:19.949><c> and</c>

00:05:20.420 --> 00:05:20.430 align:start position:0%
syntactic information in the concept and
 

00:05:20.430 --> 00:05:23.390 align:start position:0%
syntactic information in the concept and
that<00:05:20.789><c> will</c><00:05:21.060><c> conclude</c><00:05:21.840><c> my</c><00:05:22.139><c> talk</c><00:05:22.380><c> and</c><00:05:23.009><c> if</c><00:05:23.250><c> you</c>

00:05:23.390 --> 00:05:23.400 align:start position:0%
that will conclude my talk and if you
 

00:05:23.400 --> 00:05:25.219 align:start position:0%
that will conclude my talk and if you
have<00:05:23.669><c> a</c><00:05:23.880><c> are</c><00:05:24.150><c> interested</c><00:05:24.599><c> in</c><00:05:24.720><c> more</c><00:05:24.870><c> details</c>

00:05:25.219 --> 00:05:25.229 align:start position:0%
have a are interested in more details
 

00:05:25.229 --> 00:05:27.290 align:start position:0%
have a are interested in more details
you<00:05:25.289><c> can</c><00:05:25.410><c> refer</c><00:05:25.979><c> to</c><00:05:26.190><c> this</c><00:05:26.310><c> to</c><00:05:26.490><c> move</c><00:05:26.639><c> of</c><00:05:27.090><c> the</c>

00:05:27.290 --> 00:05:27.300 align:start position:0%
you can refer to this to move of the
 

00:05:27.300 --> 00:05:29.899 align:start position:0%
you can refer to this to move of the
epidemic<00:05:27.810><c> papers</c><00:05:28.169><c> ending</c><00:05:29.070><c> in</c><00:05:29.400><c> addition</c><00:05:29.760><c> to</c><00:05:29.880><c> a</c>

00:05:29.899 --> 00:05:29.909 align:start position:0%
epidemic papers ending in addition to a
 

00:05:29.909 --> 00:05:32.570 align:start position:0%
epidemic papers ending in addition to a
smart<00:05:30.419><c> fantastic</c><00:05:30.870><c> theory</c><00:05:31.080><c> we</c><00:05:31.289><c> also</c><00:05:31.580><c> into</c>

00:05:32.570 --> 00:05:32.580 align:start position:0%
smart fantastic theory we also into
 

00:05:32.580 --> 00:05:35.180 align:start position:0%
smart fantastic theory we also into
other<00:05:33.449><c> interesting</c><00:05:34.050><c> things</c><00:05:34.229><c> including</c><00:05:34.949><c> rat</c>

00:05:35.180 --> 00:05:35.190 align:start position:0%
other interesting things including rat
 

00:05:35.190 --> 00:05:37.879 align:start position:0%
other interesting things including rat
attack<00:05:35.400><c> or</c><00:05:36.060><c> other</c><00:05:36.360><c> security</c><00:05:37.320><c> rules</c><00:05:37.590><c> on</c><00:05:37.860><c> our</c>

00:05:37.879 --> 00:05:37.889 align:start position:0%
attack or other security rules on our
 

00:05:37.889 --> 00:05:47.900 align:start position:0%
attack or other security rules on our
project<00:05:38.460><c> and</c><00:05:38.580><c> we</c><00:05:39.510><c> tell</c><00:05:39.780><c> you</c><00:05:39.870><c> to</c><00:05:39.930><c> know</c><00:05:40.880><c> any</c>

00:05:47.900 --> 00:05:47.910 align:start position:0%
 
 

00:05:47.910 --> 00:05:54.620 align:start position:0%
 
[Applause]